projects / postgresql.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6ef5846)
Minor markup change.
authorThomas G. Lockhart
Sat, 9 May 1998 22:23:38 +0000 (22:23 +0000)
committerThomas G. Lockhart
Sat, 9 May 1998 22:23:38 +0000 (22:23 +0000)
doc/src/sgml/docguide.sgml patch | blob | blame | history

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".
 Building Documentation
 
 
-GNU <programname>make> is used to build documentation from the DocBook sources.
+GNU <application>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
This is the main PostgreSQL git repository.