blob: 79ae35b7713b28e083bcec7b5dd1deb538fd021e [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
7export MHTMLDIR=$MDOCDIR/sphinx/html
Zesstrae0dd0412017-01-30 11:31:08 +01008export MANWIDTH=78
9
10#rst2man < asin.rst | man -7 -P cat -l -
11
12cd $MRSTDIR
13
Zesstra141f7172017-01-31 10:42:57 +010014make html
Zesstrae0dd0412017-01-30 11:31:08 +010015
Zesstra141f7172017-01-31 10:42:57 +010016SOURCES=`find . -type f -name asin.rst`
Zesstrae0dd0412017-01-30 11:31:08 +010017for FILE in $SOURCES
18do
19 # skip leading ./
20#DIR=${DIR:2}
21 echo "Processing $FILE..."
22 DIR=`dirname ${FILE}`
23 BASE=`basename ${FILE} .rst`
Zesstra141f7172017-01-31 10:42:57 +010024# mkdir -p ${MHTMLDIR}/${DIR}
25#SIG=`git log -n 1 --date=iso-local --pretty="%cd von %an" -- $FILE`
26# sed -e "s/\\\$LastChange\\\$/$SIG/g" $FILE | rst2html > ${MHTMLDIR}/${DIR}/${BASE}.html
27# rst2html $FILE ${MHTMLDIR}/${DIR}/${BASE}.html
28# if [ $? -eq 0 ] ; then
29# mkdir -p ${MDOCDIR}/${DIR}
Zesstrae0dd0412017-01-30 11:31:08 +010030# rst2man < $FILE | man -7 -P cat -l - > ${MDOCDIR}/${DIR}/${BASE}
Zesstra141f7172017-01-31 10:42:57 +010031# fi
Zesstrae0dd0412017-01-30 11:31:08 +010032done
Zesstra141f7172017-01-31 10:42:57 +010033