CVSROOT: /cvs/debian-doc Module name: ddp Changes by: jfs 08/01/01 16:32:09 Modified files: man-cgi : man.cgi Log message: Use the manpages.debian.net host by default