blob: 5dd693ab8e8ad0634a9330886673ae636cf9ec1f [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
12#rst2man < asin.rst | man -7 -P cat -l -
13
14cd $MRSTDIR
15
Zesstra141f7172017-01-31 10:42:57 +010016make html
Zesstra1cf5bb72017-01-31 12:02:09 +010017make text
Zesstrae0dd0412017-01-30 11:31:08 +010018
Zesstra1cf5bb72017-01-31 12:02:09 +010019cd $MTEXTDIR
20SOURCES=`find . -type f -name \*.txt`
Zesstrae0dd0412017-01-30 11:31:08 +010021for FILE in $SOURCES
22do
23 # skip leading ./
Zesstra1cf5bb72017-01-31 12:02:09 +010024# DIR=${DIR:2}
25# echo "Processing $FILE..."
Zesstrae0dd0412017-01-30 11:31:08 +010026 DIR=`dirname ${FILE}`
Zesstra1cf5bb72017-01-31 12:02:09 +010027 BASE=`basename ${FILE} .txt`
Zesstra141f7172017-01-31 10:42:57 +010028# mkdir -p ${MHTMLDIR}/${DIR}
29#SIG=`git log -n 1 --date=iso-local --pretty="%cd von %an" -- $FILE`
30# sed -e "s/\\\$LastChange\\\$/$SIG/g" $FILE | rst2html > ${MHTMLDIR}/${DIR}/${BASE}.html
31# rst2html $FILE ${MHTMLDIR}/${DIR}/${BASE}.html
32# if [ $? -eq 0 ] ; then
Zesstra1cf5bb72017-01-31 12:02:09 +010033 mkdir -p ${MMANDIR}/${DIR}
34 cp $FILE ${MMANDIR}/${DIR}/${BASE}
Zesstra141f7172017-01-31 10:42:57 +010035# fi
Zesstrae0dd0412017-01-30 11:31:08 +010036done
Zesstra141f7172017-01-31 10:42:57 +010037