+++ /dev/null
-NAME = markup
-
-OBJECTS = markup_types.cmo markup_dtd.cmo markup_reader.cmo \
- markup_document.cmo markup_yacc.cmo
-XOBJECTS = $(OBJECTS:.cmo=.cmx)
-
-MLI = markup_document.mli markup_dtd.mli \
- markup_types.mli markup_yacc.mli markup_reader.mli
-