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 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 sys-apps/mandoc/files/configure.local

(limited to 'sys-apps/mandoc/files/configure.local')

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
-- 
cgit v1.2.3-2-gb3c3