diff options
Diffstat (limited to 'source3/script/makeyodldocs.sh')
| -rwxr-xr-x | source3/script/makeyodldocs.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/source3/script/makeyodldocs.sh b/source3/script/makeyodldocs.sh index 16a905c6e1..c943224fe5 100755 --- a/source3/script/makeyodldocs.sh +++ b/source3/script/makeyodldocs.sh @@ -67,7 +67,7 @@ do ;; *) # -# Non man-page YODL docs - just make html. +# Non man-page YODL docs - just make html and text. # echo $d rm -f $bn.html @@ -78,6 +78,14 @@ do fi cp $bn.html ../htmldocs || echo "Cannot create $YODLDIR/../htmldocs/$bn.html" rm -f $bn.html + rm -f $bn.txt + yodl2txt $d + if [ ! -f $bn.txt ]; then + echo "Failed to make text page for $d" + exit 1 + fi + cp $bn.txt ../textdocs || echo "Cannot create $YODLDIR/../textdocs/$bn.txt" + rm -f $bn.txt ;; esac done |