]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/compatibility/Makefile.conf
- the mathql interpreter is not helm-dependent any more
[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