Installing lpdoc
Author(s): Manuel Hermenegildo.
The source and binaries distributions of lpdoc are currently included in Ciao (http://ciao-lang.org). Please, refer to the Ciao installation instructions for more details regarding the building and installation process.
