X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fexamples%2Freadme%2FMakefile;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fexamples%2Freadme%2FMakefile;h=0000000000000000000000000000000000000000;hp=df5f6ed0d8bff7a0edd11ffe415a79882e692c40;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/pxp/pxp/examples/readme/Makefile b/helm/DEVEL/pxp/pxp/examples/readme/Makefile
deleted file mode 100644
index df5f6ed0d..000000000
--- 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)