| Zesstra | e0dd041 | 2017-01-30 11:31:08 +0100 | [diff] [blame] | 1 | #/bin/bash |
| 2 | |||||
| 3 | export MUDHOME=/home/mud | ||||
| 4 | export MUDLIB=$MUDHOME/mudlib | ||||
| 5 | export MDOCDIR=$MUDLIB/doc | ||||
| Zesstra | 141f717 | 2017-01-31 10:42:57 +0100 | [diff] [blame] | 6 | export MRSTDIR=$MDOCDIR/sphinx |
| Zesstra | 1cf5bb7 | 2017-01-31 12:02:09 +0100 | [diff] [blame] | 7 | export MHTMLDIR=$MDOCDIR/sphinx/_build/html |
| 8 | export MTEXTDIR=$MDOCDIR/sphinx/_build/text | ||||
| Zesstra | 953f997 | 2017-02-18 15:37:36 +0100 | [diff] [blame] | 9 | export MMANDIR=$MDOCDIR// |
| 10 | #export MANWIDTH=78 | ||||
| Zesstra | e0dd041 | 2017-01-30 11:31:08 +0100 | [diff] [blame] | 11 | |
| Zesstra | e0dd041 | 2017-01-30 11:31:08 +0100 | [diff] [blame] | 12 | cd $MRSTDIR |
| 13 | |||||
| Zesstra | 1cf5bb7 | 2017-01-31 12:02:09 +0100 | [diff] [blame] | 14 | make text |
| Zesstra | e0dd041 | 2017-01-30 11:31:08 +0100 | [diff] [blame] | 15 | |
| Zesstra | 1cf5bb7 | 2017-01-31 12:02:09 +0100 | [diff] [blame] | 16 | cd $MTEXTDIR |
| 17 | SOURCES=`find . -type f -name \*.txt` | ||||
| Zesstra | 077cbc6 | 2019-01-07 21:16:39 +0100 | [diff] [blame] | 18 | umask o+rx |
| Zesstra | e0dd041 | 2017-01-30 11:31:08 +0100 | [diff] [blame] | 19 | for FILE in $SOURCES |
| 20 | do | ||||
| Zesstra | 1cf5bb7 | 2017-01-31 12:02:09 +0100 | [diff] [blame] | 21 | # echo "Processing $FILE..." |
| Zesstra | e0dd041 | 2017-01-30 11:31:08 +0100 | [diff] [blame] | 22 | DIR=`dirname ${FILE}` |
| Zesstra | 1cf5bb7 | 2017-01-31 12:02:09 +0100 | [diff] [blame] | 23 | BASE=`basename ${FILE} .txt` |
| Zesstra | 0516f5d | 2017-01-31 12:05:00 +0100 | [diff] [blame] | 24 | mkdir -p ${MMANDIR}/${DIR} |
| Zesstra | 077cbc6 | 2019-01-07 21:16:39 +0100 | [diff] [blame] | 25 | #chmod o+rx ${MMANDIR}/${DIR} |
| Zesstra | 6cae82a | 2018-02-12 21:00:00 +0100 | [diff] [blame] | 26 | cp -a $FILE ${MMANDIR}/${DIR}/${BASE} |
| Zesstra | 077cbc6 | 2019-01-07 21:16:39 +0100 | [diff] [blame] | 27 | # chmod o+r ${MMANDIR}/${DIR}/${BASE} |
| Zesstra | e0dd041 | 2017-01-30 11:31:08 +0100 | [diff] [blame] | 28 | done |
| Zesstra | 141f717 | 2017-01-31 10:42:57 +0100 | [diff] [blame] | 29 | |