1 2 3 4 5 6 7 8 9 10 11
--- a/Makefile +++ b/Makefile @@ -78,6 +78,8 @@ xml.cmi: +xml_parser.mli: + xmlParser.cmi: dtd.cmi xml.cmi xml_lexer.cmi: dtd.cmi