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/metadata.xml | |
| 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 '')
| -rw-r--r-- | sys-apps/mandoc/metadata.xml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/sys-apps/mandoc/metadata.xml b/sys-apps/mandoc/metadata.xml deleted file mode 100644 index 078004b..0000000 --- a/sys-apps/mandoc/metadata.xml +++ /dev/null @@ -1,10 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="person"> - <email>wolf@oriole.systems</email> - </maintainer> - <use> - <flag name="cron">Set up a cron script that updates mandoc.db files for apropos support.</flag> - </use> -</pkgmetadata> |