All docs are in SGML format and located in the doc/source directory.
How do you update the webserver (i.e. the pages on sourceforge)?
Run make dok (which uses the documents in doc/source to update all text files in doc/text and to update all web documents in doc/webserver.
Run make webserver which copies all files from doc/webserver to the sourceforge webserver via scp.