|Did you know ...
|How do I contribute?
Here are some ideas from the easiest one:
You can edit pages like this by making pull requests on these GitHub repositories:
You can preview your edits in your local machine. Follow the instructions in the plweb repository.
The documentation is part of the source code and thus the general guidelines of Submit a patch apply. The documentation itself appears in three formats:
man subdirectory. The files have
.doc, but are in fact LaTeX files that are
preprocessed to create automatic links to predicates and functions.
.txt is also used.
To preview your new documentation, build the system and use help/1:
See CMAKE.md in the source directory for building the PDF documentation.