Hello, where can I find htmlc? apt-file does not give me a program of this name, and the source of advi does not contain one neither. When I try to build the documentation, I get: helge@thirtyto:/scr/build/src/ocaml/play/advi-1.6.0/doc$ env LANG=C make make -f MakeMan all make[1]: Entering directory `/scr/build/src/ocaml/play/advi-1.6.0/doc' cd ../doc_src && make make[2]: Entering directory `/scr/build/src/ocaml/play/advi-1.6.0/doc_src' htmlc -I Includes -env Includes/env -f advi-index.html -t advi-index.htm make[2]: htmlc: Command not found make[2]: *** [advi-index.htm] Error 127 make[2]: Leaving directory `/scr/build/src/ocaml/play/advi-1.6.0/doc_src' make[1]: *** [expand] Error 2 make[1]: Leaving directory `/scr/build/src/ocaml/play/advi-1.6.0/doc' make: *** [advi.1] Error 2 Looking at the Makefile in doc_src I see: # The Htmlc compiler with its include path options HTMLC=htmlc -I Includes -env Includes/env The documentation (at least according to grep -ri) does not mention htmlc, the only reference is in this Makefile. What is htmlc supposed to do and where can I get it? Finally, advi deletes files included in the orig.tar.gz, i.e., after fakeroot make -f debian/rules clean the tree contains less files than after unpacking and patching. As I understand, the clean target should "reset" the package in its orignal, unpacked state. I see in the rules file the backup* targets, which are essentially commented out; they look like an attempt to remedy this situation. The best way (once the manual builds) IMHO whould be to remove the generated files (e.g., the manual, the examples, ...) from the .orig.tar.gz, and hence the clean run would do a true reset. The other option (which I partially do for the -examples-split) is to replace the make clean calls by hand made cleans which only delete files we created during build. Greetings Helge -- Helge Kreutzmann, Dipl.-Phys. Helge.Kreutzmann@itp.uni-hannover.de gpg signed mail preferred 64bit GNU powered http://www.itp.uni-hannover.de/~kreutzm Help keep free software "libre": http://www.freepatents.org/
Attachment:
pgpgVOm0Sl5KG.pgp
Description: PGP signature