From 1b93463eb32733dd7eb1ed7645d21a0f943de2a8 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Sat, 16 Apr 2016 18:51:21 +0000 Subject: [PATCH] add Debian 7.8.0 manual pages --- en_US.ISO8859-1/htdocs/cgi/man.cgi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/en_US.ISO8859-1/htdocs/cgi/man.cgi b/en_US.ISO8859-1/htdocs/cgi/man.cgi index ce8aea5948..72f3f353ba 100755 --- a/en_US.ISO8859-1/htdocs/cgi/man.cgi +++ b/en_US.ISO8859-1/htdocs/cgi/man.cgi @@ -613,7 +613,7 @@ $manPathDefault = 'FreeBSD 10.3-RELEASE'; 'Debian 4.0.9', "$manLocalDir/Debian-40r9/man:$manLocalDir/Debian-40r9/misc", '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 7.8.0', "$manLocalDir/Debian-7.8.0/man:$manLocalDir/Debian-7.8.0/misc", '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",