]> matita.cs.unibo.it Git - helm.git/blob - Makefile.conf
061d0cae1f3b997f8972b186aa52110c00799c0a
[helm.git] / 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