diff options
Diffstat (limited to 'debian/patches/0011-man.7.patch')
| -rw-r--r-- | debian/patches/0011-man.7.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/debian/patches/0011-man.7.patch b/debian/patches/0011-man.7.patch deleted file mode 100644 index ddc1474..0000000 --- a/debian/patches/0011-man.7.patch +++ /dev/null @@ -1,20 +0,0 @@ -From: "Dr. Tobias Quathamer" <toddy@debian.org> -Date: Sat, 6 Feb 2016 01:27:54 +0100 -Subject: man.7 - ---- - man7/man.7 | 1 + - 1 file changed, 1 insertion(+) - -diff --git a/man7/man.7 b/man7/man.7 -index b0788f3..62c9f56 100644 ---- a/man7/man.7 -+++ b/man7/man.7 -@@ -500,6 +500,7 @@ is not implemented. - .BR lexgrog (1), - .BR man (1), - .BR man2html (1), -+.BR groff_mdoc (7), - .BR whatis (1), - .BR groff_man (7), - .BR groff_www (7), |