]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/lexers/Makefile
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / lexers / Makefile
diff --git a/helm/DEVEL/pxp/pxp/lexers/Makefile b/helm/DEVEL/pxp/pxp/lexers/Makefile
deleted file mode 100644 (file)
index 63ade70..0000000
+++ /dev/null
@@ -1,34 +0,0 @@
-all_iso88591: generate_iso88591
-       $(MAKE) -f Makefile.code all_iso88591
-
-opt_iso88591: generate_iso88591
-       $(MAKE) -f Makefile.code opt_iso88591
-
-all_utf8: generate_utf8
-       $(MAKE) -f Makefile.code all_utf8
-
-opt_utf8: generate_utf8
-       $(MAKE) -f Makefile.code opt_utf8
-
-
-
-generate_iso88591:
-       $(MAKE) -f Makefile.generate all_iso88591
-       rm -f objects_iso88591 objects_utf8
-       $(MAKE) -f Makefile.generate objects_iso88591
-       touch objects_utf8
-       $(MAKE) -f Makefile.generate depend
-
-generate_utf8:
-       $(MAKE) -f Makefile.generate all_utf8
-       rm -f objects_iso88591 objects_utf8
-       $(MAKE) -f Makefile.generate objects_utf8
-       touch objects_iso88591
-       $(MAKE) -f Makefile.generate depend
-
-
-
-clean:
-       touch depend objects
-       $(MAKE) -f Makefile.code clean
-       $(MAKE) -f Makefile.generate clean