Initial revision

[helm.git] / helm / DEVEL / pxp / pxp / compatibility / Makefile.conf

diff --git a/helm/DEVEL/pxp/pxp/compatibility/Makefile.conf b/helm/DEVEL/pxp/pxp/compatibility/Makefile.conf
new file mode 100644 (file)
index 0000000..061d0ca
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/compatibility/Makefile.conf
@@ -0,0 +1,9 @@
+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
+