3. Documentation Guidelines

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)?

  1. 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.

  2. Run make webserver which copies all files from doc/webserver to the sourceforge webserver via scp.