X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FMakefile;fp=helm%2Fon-line%2Fjavascript%2FMakefile;h=0000000000000000000000000000000000000000;hb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;hp=874bf8674f88e61e277a3be3b9b8715a65c58783;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/on-line/javascript/Makefile b/helm/on-line/javascript/Makefile
deleted file mode 100644
index 874bf8674..000000000
--- a/helm/on-line/javascript/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-
-TARGETS = helmjsmenu.js_xml
-
-.SUFFIXES:
-.SUFFIXES: .js .js_xml
-
-.js.js_xml:
-	@echo "<?xml version='1.0'?>" >$@
-	@echo "<script>" >>$@
-	@echo "<![CDATA[" >>$@
-	@cat $< >>$@
-	@echo "]]>" >>$@
-	@echo "</script>" >>$@
-
-all: $(TARGETS)
-
-clean:
-	rm -rf $(TARGETS)
-