diff options
Diffstat (limited to 'debian/patches/0011-man.7.patch')
| -rw-r--r-- | debian/patches/0011-man.7.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debian/patches/0011-man.7.patch b/debian/patches/0011-man.7.patch new file mode 100644 index 0000000..ddc1474 --- /dev/null +++ b/debian/patches/0011-man.7.patch @@ -0,0 +1,20 @@ +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), |