diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2016-07-19 17:56:04 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2016-07-19 17:56:04 +0000 |
commit | 0512b80d5f59824b3d18cd1494119fd904528ca5 (patch) | |
tree | eeb861ad9f7df093bc7519473d09f6327fdb0ef1 /configure.local.example | |
parent | 1b9ff81b755df0d65999d0379252c9822b474096 (diff) | |
download | mandoc-0512b80d5f59824b3d18cd1494119fd904528ca5.tar.gz |
Remove one outdated comment and fix one typo
noted by Jan Stary <hans at stare dot cz>.
Diffstat (limited to 'configure.local.example')
-rw-r--r-- | configure.local.example | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.local.example b/configure.local.example index 725df492..8304ded8 100644 --- a/configure.local.example +++ b/configure.local.example @@ -91,8 +91,6 @@ MANDIR="${PREFIX}/man" HAVE_MANPATH=1 # Force usage of man.conf(5). -# If it does not exist or contains no valid configuration, -# man(1), makewhatis(8), and apropos(1) will not work properly. HAVE_MANPATH=0 # Some distributions may want to avoid naming conflicts @@ -198,7 +196,7 @@ BINM_MAKEWHATIS=mandocdb # default is "makewhatis" PREFIX="/usr/local" HOMEBREWDIR="${PREFIX}/Cellar" -# --- user settings related man.cgi ------------------------------------ +# --- user settings related to man.cgi --------------------------------- # By default, building man.cgi(8) is disabled. To enable it, copy # cgi.h.example to cgi.h, edit it, and use the following line. |