]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/compatibility/Makefile.conf
061d0cae1f3b997f8972b186aa52110c00799c0a
[helm.git] / helm / DEVEL / pxp / pxp / compatibility / Makefile.conf
1 NAME = markup
2
3 OBJECTS = markup_types.cmo markup_dtd.cmo markup_reader.cmo \
4           markup_document.cmo markup_yacc.cmo
5 XOBJECTS = $(OBJECTS:.cmo=.cmx)
6
7 MLI = markup_document.mli markup_dtd.mli \
8       markup_types.mli markup_yacc.mli markup_reader.mli
9