diff options
Diffstat (limited to 'configure.local.example')
| -rw-r--r-- | configure.local.example | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.local.example b/configure.local.example index 3fa240c9..2732c0b9 100644 --- a/configure.local.example +++ b/configure.local.example @@ -108,11 +108,15 @@ OSNAME="OpenBSD 7.0" # there is no need to copy the whole block. # Even if you set PREFIX to something else, the other variables # pick it up without copying them all over. +# MISCDIR is only used for installing the file mandoc.css. +# That is important because users of "mandoc -T html" often need it +# even if they are not using man.cgi(8), see mandoc(1) for details. PREFIX="/usr/local" BINDIR="${PREFIX}/bin" SBINDIR="${PREFIX}/sbin" MANDIR="${PREFIX}/man" +MISCDIR="${PREFIX}/share/misc" # If BINDIR and SBINDIR are not subdirectories of the same parent # directory or if the basename(1) of BINDIR differs from "bin", |