From 3e3fdb1eb11ae0e9bd04dbae9e86ea38df8c701a Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Sat, 16 Apr 2016 18:48:04 +0000 Subject: [PATCH] add Debian 8.1.0 manual pages --- en_US.ISO8859-1/htdocs/cgi/man.cgi | 1 + 1 file changed, 1 insertion(+) diff --git a/en_US.ISO8859-1/htdocs/cgi/man.cgi b/en_US.ISO8859-1/htdocs/cgi/man.cgi index 867e529c4c..ce8aea5948 100755 --- a/en_US.ISO8859-1/htdocs/cgi/man.cgi +++ b/en_US.ISO8859-1/htdocs/cgi/man.cgi @@ -614,6 +614,7 @@ $manPathDefault = 'FreeBSD 10.3-RELEASE'; 'Debian 5.0.10', "$manLocalDir/Debian-5.0.10/man:$manLocalDir/Debian-5.0.10/misc", 'Debian 6.0.10', "$manLocalDir/Debian-6.0.10/man:$manLocalDir/Debian-6.0.10/misc", 'Debian 7.7.0', "$manLocalDir/Debian-7.7.0", + 'Debian 8.1.0', "$manLocalDir/Debian-8.1.0/man:$manLocalDir/Debian-8.1.0/misc", 'HP-UX 11.22', "$manLocalDir/HP-UX-11.22", 'HP-UX 11.20', "$manLocalDir/HP-UX-11.20",