diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml index 03b6356134a..3e571f33ad8 100644 --- a/doc/src/sgml/docguide.sgml +++ b/doc/src/sgml/docguide.sgml @@ -239,7 +239,7 @@ right, and I can verify the document with "nsgmls -s docguide.sgml". Building Documentation -GNU make is used to build documentation from the DocBook sources. +GNU make is used to build documentation from the DocBook sources. There are a few environment definitions which may need to be set or modified for your installation. The Makefile looks for doc/../src/Makefile