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

add Debian 8.1.0 manual pages

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

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

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