Minor markup change.

diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml
index 03b6356134ad6110b661f5fda6065b77f566fadf..3e571f33ad8aaaac8e81df71ec143e42168c8b54 100644 (file)
--- 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".
 <title>Building Documentation</title>
 
 <para>
-GNU <programname>make</programname> is used to build documentation from the DocBook sources.
+GNU <application>make</application> 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 <filename>Makefile</filename> looks for 
 <filename>doc/../src/Makefile</filename>