diff options
| author | Wynn Wolf Arbor | 2020-12-11 17:47:33 +0100 |
|---|---|---|
| committer | Wynn Wolf Arbor | 2020-12-11 17:47:33 +0100 |
| commit | 8eaec1f5d378470e5efcfdb99dd6ad75de05bffa (patch) | |
| tree | 1261b382273da9ace581a0f896b1c808a0f2b4f4 /sys-apps/mandoc/files | |
| parent | befee72a5fcc187d4bd0c8797dde76461f2363be (diff) | |
| download | pramantha-8eaec1f5d378470e5efcfdb99dd6ad75de05bffa.tar.gz | |
sys-apps/mandoc: Drop
A couple of years after my initial bug report [1], mandoc has finally
been modified [2] to be integrated as a system man provider in Gentoo.
Thus, we can drop our modified copy from this overlay.
[1] https://bugs.gentoo.org/show_bug.cgi?id=616776
[2] https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=21fccd433a95f545ac5407c0f58020bd010a38c6
Diffstat (limited to 'sys-apps/mandoc/files')
| -rw-r--r-- | sys-apps/mandoc/files/configure.local | 12 | ||||
| -rw-r--r-- | sys-apps/mandoc/files/mandoc.cron | 6 |
2 files changed, 0 insertions, 18 deletions
diff --git a/sys-apps/mandoc/files/configure.local b/sys-apps/mandoc/files/configure.local deleted file mode 100644 index e7729b3..0000000 --- a/sys-apps/mandoc/files/configure.local +++ /dev/null @@ -1,12 +0,0 @@ -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 deleted file mode 100644 index 20e6007..0000000 --- a/sys-apps/mandoc/files/mandoc.cron +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -# we need this to have the right MANPATH set -. /etc/profile - -exec nice makewhatis |