These are the UNIX man pages. The html versions are created on the fly
by a simple shell/sed/awk script.
NOTICE: There are still problems with
the man pages that are not stored in the right section. In
this case you'll get an empty page. Follow the link at the top of the
empty page and you'll get your man page (hopefully).