os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

add Debian 7.8.0 manual pages

Browse source
This commit is contained in:
Wolfram Schneider 2016-04-16 18:51:21 +00:00
parent 3e3fdb1eb1
commit 1b93463eb3
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=48654
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
en_US.ISO8859-1/htdocs/cgi/man.cgi
View file

@ -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",