You are welcomed to change this library. In order to test it you simply have to place you modified version in the correct path and restart SWISH. If you have used the packages provided with SWISH Installer this can be achieved with the following:
# mv <your_modified_cplint_r_library> /home/swish/lib/swipl/pack/cplint_r/prolog/cplint_r.pl # systemctl restart swish-cplint
The source of this documentation is under the doc directory of the repository.
To be able to compile it, you have to install several tex packages
(for example: texlive-most
and texi2html
if you are using
Arch Linux) that contain the following binaries:
makeinfo texi2dvi docbook2html docbook2pdf docbook2txt texi2html perl
After running make
, a directory named manual
will be created and you can access all the files by opening
index.html with a browser.