The documentation system can generate output for printing (in PostScript or PDF format), or for electronic presentation (in HTML format).
The translation to PostScript can be done locally (on the user's machine) or on remote server equipped with the necessary software. The translation to HTML and PDF can be done only remotely.
To create documentation for a given file, from the Documentation menu, you may choose
To view previously created documentation, you may use from the same menu