blob: 556f98bf6286dabb9e74ae804e040d0f9fce27fc [file] [log] [blame]
Zesstrae0dd0412017-01-30 11:31:08 +01001#/bin/bash
2
3export MUDHOME=/home/mud
4export MUDLIB=$MUDHOME/mudlib
5export MDOCDIR=$MUDLIB/doc
Zesstra141f7172017-01-31 10:42:57 +01006export MRSTDIR=$MDOCDIR/sphinx
Zesstra1cf5bb72017-01-31 12:02:09 +01007export MHTMLDIR=$MDOCDIR/sphinx/_build/html
8export MTEXTDIR=$MDOCDIR/sphinx/_build/text
Zesstra953f9972017-02-18 15:37:36 +01009export MMANDIR=$MDOCDIR//
10#export MANWIDTH=78
Zesstrae0dd0412017-01-30 11:31:08 +010011
Zesstrae0dd0412017-01-30 11:31:08 +010012cd $MRSTDIR
13
Zesstra1cf5bb72017-01-31 12:02:09 +010014make text
Zesstrae0dd0412017-01-30 11:31:08 +010015
Zesstra1cf5bb72017-01-31 12:02:09 +010016cd $MTEXTDIR
17SOURCES=`find . -type f -name \*.txt`
Zesstrae0dd0412017-01-30 11:31:08 +010018for FILE in $SOURCES
19do
Zesstra1cf5bb72017-01-31 12:02:09 +010020# echo "Processing $FILE..."
Zesstrae0dd0412017-01-30 11:31:08 +010021 DIR=`dirname ${FILE}`
Zesstra1cf5bb72017-01-31 12:02:09 +010022 BASE=`basename ${FILE} .txt`
Zesstra0516f5d2017-01-31 12:05:00 +010023 mkdir -p ${MMANDIR}/${DIR}
Zesstra953f9972017-02-18 15:37:36 +010024 cp -av $FILE ${MMANDIR}/${DIR}/${BASE}
Zesstrae0dd0412017-01-30 11:31:08 +010025done
Zesstra141f7172017-01-31 10:42:57 +010026