# HG changeset patch # User Matti Hamalainen # Date 1190216229 0 # Node ID 6b608ea3f7af3d5141d6ba646d82ff250cef159f # Parent 8722a7a1b306705677c73ccb4b598f263f1820af Improve warnings. diff -r 8722a7a1b306 -r 6b608ea3f7af docs/build-docs.sh --- a/docs/build-docs.sh Wed Sep 19 15:28:02 2007 +0000 +++ b/docs/build-docs.sh Wed Sep 19 15:37:09 2007 +0000 @@ -85,19 +85,19 @@ echo "** Checking for HTML Tidy ..." if test -n "$TIDY" && test -x "$TIDY"; then echo "** Found, cleaning up the mess by DocBook .." - $TIDY -w 120 -utf8 -asxhtml -i -m $HTMLPATH/*.html "$HTMLFILE" + $TIDY -q -w 120 -utf8 -asxhtml -i -m $HTMLPATH/*.html "$HTMLFILE" else - echo "*** WARNING! HTML tidy not found." + echo "*** WARNING! HTML tidy not found! To get better HTML output," + echo "*** please install HTML tidy (http://tidy.sourceforge.net/)" fi fi ### Generate PostScript file -rm -f "$PSFILE" -if test -n "$XMLROFF" && test -x "$XMLROFF" && test -e "$SRCTMP"; then - echo "* PostScript" - $XSLTPROC "$CATALOGS3" "$SRCTMP" > tmp.fo -fi - +#rm -f "$PSFILE" +#if test -n "$XMLROFF" && test -x "$XMLROFF" && test -e "$SRCTMP"; then +# echo "* PostScript" +# $XSLTPROC "$CATALOGS3" "$SRCTMP" > tmp.fo +#fi #rm -f "$SRCTMP" @@ -107,9 +107,12 @@ rm -f manual.pdf $GS -dSAFER -dCompatibilityLevel=1.2 -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite \ -sOutputFile=manual.pdf -dCompatibilityLevel=1.2 -c .setpdfwrite -f manual.ps -else +elif test -e "$PSFILE"; then echo "*** WARNING! GhostScript does not seem to be installed." echo "*** PDF version of the manual will not be generated." +else + echo "*** PostScript file was not generated, unable to generate" + echo "*** PDF version of the manual, skipping this part." fi ### Generate ASCII text