This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / DEVEL / pxp / pxp / examples / readme / Makefile

diff --git a/helm/DEVEL/pxp/pxp/examples/readme/Makefile b/helm/DEVEL/pxp/pxp/examples/readme/Makefile
deleted file mode 100644 (file)
index df5f6ed..0000000
--- a/helm/DEVEL/pxp/pxp/examples/readme/Makefile
+++ /dev/null
@@ -1,34 +0,0 @@
-# make readme:         make bytecode executable
-# make readme.opt:     make native executable
-# make clean:          remove intermediate files
-# make CLEAN:           remove intermediate files (recursively)
-# make distclean:      remove any superflous files
-# make install
-#----------------------------------------------------------------------
-
-BIN = /usr/local/bin
-
-.PHONY: readme
-readme:
-       $(MAKE) -f Makefile.code readme
-
-.PHONY: readme.opt
-readme.opt:
-       $(MAKE) -f Makefile.code readme.opt
-
-
-.PHONY: clean
-clean:
-       rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
-
-.PHONY: CLEAN
-CLEAN: clean
-
-.PHONY: distclean
-distclean: clean
-       rm -f *~ depend depend.pkg
-       rm -f readme readme.opt
-
-.PHONY: install
-install:
-       cp readme $(BIN)