changeset 257:d8670ebddf35

Fixes
author Matti Hamalainen <ccr@tnsp.org>
date Sat, 11 Feb 2006 02:55:24 +0000
parents 65f996b30766
children ee077893e923
files docs/build-docs.sh
diffstat 1 files changed, 8 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/docs/build-docs.sh	Sat Feb 11 02:39:15 2006 +0000
+++ b/docs/build-docs.sh	Sat Feb 11 02:55:24 2006 +0000
@@ -14,16 +14,20 @@
 exit 1
 fi
 
-exec $JW -f docbook -b html -o html $SRCFILE
+echo "* HTML"
+$JW -f docbook -b html -o html $SRCFILE
 
-exec $JW -f docbook -b ps $SRCFILE
+echo "* PostScript"
+$JW -f docbook -b ps $SRCFILE
 
 if test -n "$GS"  && test -x "$GS"; then
-exec $GS -dSAFER -dCompatibilityLevel=1.2 -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite \
+echo "* PDF"
+$GS -dSAFER -dCompatibilityLevel=1.2 -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite \
 -sOutputFile=manual.pdf -dCompatibilityLevel=1.2 -c .setpdfwrite -f manual.ps
 else
 echo "WARNING! GhostScript does not seem to be installed."
 echo "PDF version of the manual will not be generated."
 fi
 
-exec $JW -f docbook -b txt $SRCFILE 
+echo "* Text"
+$JW -f docbook -b txt $SRCFILE