This commit was manufactured by cvs2svn to create branch

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