I saw some messages about LPDoc from earlier last year. I don't know if the same issues still exist.

Here's the result of a fresh install of 1.15 and an attempt to start using LPDoc:

john(a)laptop01:~/Downloads$ sudo dpkg -i ciaode_1.15-1712.ga8c821b_i386.deb Selecting previously unselected package ciaode. (Reading database ... 198574 files and directories currently installed.) Unpacking ciaode (from ciaode_1.15-1712.ga8c821b_i386.deb) ... Setting up ciaode (1.15-1712.ga8c821b) ... Ignoring install-info called from maintainer script The package ciaode should be rebuilt with new debhelper to get trigger support Ignoring install-info called from maintainer script The package ciaode should be rebuilt with new debhelper to get trigger support Processing triggers for man-db ... Processing triggers for install-info ... john(a)laptop01:~/Downloads$ cd .. john(a)laptop01:~$ cd ciao-mongodb john(a)laptop01:~/ciao-mongodb$ cd doc john(a)laptop01:~/ciao-mongodb/doc$ lpdoc lpsettings :: Starting processing of 'lpsettings'. {WARNING (make_rt): Target lpsettings does not exist} :: Finished processing of 'lpsettings'. john(a)laptop01:~/ciao-mongodb/doc$ lpdoc -d doc_structure=mongodb_doc dvi :: Starting manual generation in dvi (TeX device-indep) format. {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(prelude) does not exist} {ERROR (autodoc): formatting mongodb_doc could not be completed} {ERROR: docst_gdata_restore_/2 - no_rr_file_for(mongodb_doc)} {Program ended with failure}

Any ideas?

Thanks, John