### 3.8.1 Libraries in the SINGULAR Documentation

- The typesetting language in which the SINGULAR documentation is written is `texinfo`. The info string of a library included in the SINGULAR distribution will be parsed and automatically translated to the `texinfo` format. The same applies to the help string of each procedure listed in the PROCEDURE: section of the info string.
- Based on various tools, `info`, `dvi`, `p`, and `html` versions of the `texinfo` documentation are generated.
- For texinfo markup elements and other information facilitating optimal typesetting, see Typesetting of help and info strings.
- For the convenience of users checking directly the source code, the `texinfo` tools should be used economically. That is, the info and help texts should be well readable verbatim.
- The example of each procedure listed in the PROCEDURE: section of the info string is computed and its output is included in the documentation.

User manual for Singular version 4-0-3, 2016, generated by texi2html.