diff options
Diffstat (limited to '')
| -rw-r--r-- | sys-apps/mandoc/files/configure.local | 12 | ||||
| -rw-r--r-- | sys-apps/mandoc/files/mandoc.cron | 6 |
2 files changed, 18 insertions, 0 deletions
diff --git a/sys-apps/mandoc/files/configure.local b/sys-apps/mandoc/files/configure.local new file mode 100644 index 0000000..e7729b3 --- /dev/null +++ b/sys-apps/mandoc/files/configure.local @@ -0,0 +1,12 @@ +PREFIX=/usr +MANDIR=$PREFIX/share/man + +BINM_SOELIM=msoelim + +# These conflict with man(7) and mdoc(7) from man-pages. +MANM_MAN=mandoc_man +MANM_MDOC=mandoc_mdoc +MANM_ROFF=mandoc_roff + +# catman(8) is disabled by default. +BUILD_CATMAN=1 diff --git a/sys-apps/mandoc/files/mandoc.cron b/sys-apps/mandoc/files/mandoc.cron new file mode 100644 index 0000000..20e6007 --- /dev/null +++ b/sys-apps/mandoc/files/mandoc.cron @@ -0,0 +1,6 @@ +#!/bin/sh + +# we need this to have the right MANPATH set +. /etc/profile + +exec nice makewhatis |