From 50ac288f4bd1a9efa296da5e30f66385ac6e9a87 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Sat, 16 Apr 2016 18:17:58 +0000 Subject: [PATCH] add Debian 3.1.8 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 ca5deb884e..3dc8154176 100755 --- a/en_US.ISO8859-1/htdocs/cgi/man.cgi +++ b/en_US.ISO8859-1/htdocs/cgi/man.cgi @@ -609,6 +609,7 @@ $manPathDefault = 'FreeBSD 10.3-RELEASE'; 'SuSE Linux/i386 ES 10 SP1', "$manLocalDir/SLES-10-SP1-i386", 'Debian 2.2.7', "$manLocalDir/Debian-2.2r7/man:$manLocalDir/Debian-2.2r7/misc", + 'Debian 3.1.8', "$manLocalDir/Debian-31r8/man:$manLocalDir/Debian-31r8/misc", 'Debian 6.0.10', "$manLocalDir/Debian-6.0.10", 'Debian 7.7.0', "$manLocalDir/Debian-7.7.0",