--- 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