From 8eaec1f5d378470e5efcfdb99dd6ad75de05bffa Mon Sep 17 00:00:00 2001 From: Wynn Wolf Arbor Date: Fri, 11 Dec 2020 17:47:33 +0100 Subject: 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 --- sys-apps/mandoc/files/configure.local | 12 ------------ sys-apps/mandoc/files/mandoc.cron | 6 ------ 2 files changed, 18 deletions(-) delete mode 100644 sys-apps/mandoc/files/configure.local delete mode 100644 sys-apps/mandoc/files/mandoc.cron (limited to 'sys-apps/mandoc/files') 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 -- cgit v1.2.3-2-gb3c3