modified:   src/lib/ocamltohtml/Makefile