diff options
| author | Wynn Wolf Arbor | 2020-01-13 15:59:49 +0100 |
|---|---|---|
| committer | Wynn Wolf Arbor | 2020-01-13 15:59:49 +0100 |
| commit | 90b60b5044587535e792ed5410acbf10a76963e7 (patch) | |
| tree | 316d681581cb2b3a4218f31e72cab376e70b8252 /sys-apps/mandoc/files | |
| download | pramantha-90b60b5044587535e792ed5410acbf10a76963e7.tar.gz | |
Initial import
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 |