Document that the HTML documentation must be built before the PDF

documentation.

diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml
index 74c4da89cf7e06e9b54669f2603c3d661e5ce537..62a60cb109d0dcab52ebe4c9309bbc15a6531e85 100644 (file)
--- a/doc/src/sgml/docguide.sgml
+++ b/doc/src/sgml/docguide.sgml
@@ -1,4 +1,4 @@
-
+
 
 
  Documentation
@@ -590,7 +590,8 @@ gmake man
 
    
     If you want to use JadeTex to produce a
-    printable rendition of the documentation, you can use one of the
+    printable rendition of the documentation, you must first build the
+    HTML output as outlined above, then you can use one of the
     following commands: