diff options
| author | Thomas G. Lockhart <lockhart@fourpalms.org> | 1998-05-09 22:23:38 +0000 |
|---|---|---|
| committer | Thomas G. Lockhart <lockhart@fourpalms.org> | 1998-05-09 22:23:38 +0000 |
| commit | 25745b6d52d3ac95ba549184c795c34a71ca3332 (patch) | |
| tree | a7d971ea584d2a34895e5e0c6a050c61acb5f09b /doc/src | |
| parent | 6ef58461ffc73595e3c3cc530a7f28956d4f8e77 (diff) | |
Minor markup change.
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/docguide.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
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". <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> |