]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/hgdome/Makefile
removed spurious "
[helm.git] / helm / software / components / hgdome / Makefile
1 PACKAGE = hgdome
2
3 # modules which have both a .ml and a .mli
4 INTERFACE_FILES =               \
5         domMisc.mli             \
6         xml2Gdome.mli           \
7         $(NULL)
8
9 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
10
11 include ../../Makefile.defs
12 include ../Makefile.common