From 25745b6d52d3ac95ba549184c795c34a71ca3332 Mon Sep 17 00:00:00 2001
From: "Thomas G. Lockhart" <lockhart@fourpalms.org>
Date: Sat, 9 May 1998 22:23:38 +0000
Subject: [PATCH] Minor markup change.

---
 doc/src/sgml/docguide.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml
index 03b6356134..3e571f33ad 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".
 <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>