blob: e2e5790320bec08808f6d1778c3f925387be87b9 [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`
Zesstra077cbc62019-01-07 21:16:39 +010018umask o+rx
Zesstrae0dd0412017-01-30 11:31:08 +010019for FILE in $SOURCES
20do
Zesstra1cf5bb72017-01-31 12:02:09 +010021# echo "Processing $FILE..."
Zesstrae0dd0412017-01-30 11:31:08 +010022 DIR=`dirname ${FILE}`
Zesstra1cf5bb72017-01-31 12:02:09 +010023 BASE=`basename ${FILE} .txt`
Zesstra0516f5d2017-01-31 12:05:00 +010024 mkdir -p ${MMANDIR}/${DIR}
Zesstra077cbc62019-01-07 21:16:39 +010025#chmod o+rx ${MMANDIR}/${DIR}
Zesstra6cae82a2018-02-12 21:00:00 +010026 cp -a $FILE ${MMANDIR}/${DIR}/${BASE}
Zesstra077cbc62019-01-07 21:16:39 +010027# chmod o+r ${MMANDIR}/${DIR}/${BASE}
Zesstrae0dd0412017-01-30 11:31:08 +010028done
Zesstra141f7172017-01-31 10:42:57 +010029