blob: 12f2d03ad6b26d21a09ea93eabce2d5b14da9314 [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
9export MMANDIR=$MDOCDIR/sphinx/man/
Zesstrae0dd0412017-01-30 11:31:08 +010010export MANWIDTH=78
11
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}
24 cp $FILE ${MMANDIR}/${DIR}/${BASE}
Zesstrae0dd0412017-01-30 11:31:08 +010025done
Zesstra141f7172017-01-31 10:42:57 +010026