Next: , Previous: , Up: Top   [Contents]


5 Development

5.1 Changing the library

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

5.2 Compiling this documentation

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.