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=a2e28081b1e905ecdc6dca279717e496d1766d95;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/on-line/javascript/Makefile b/helm/on-line/javascript/Makefile
new file mode 100644
index 000000000..a2e28081b
--- /dev/null
+++ b/helm/on-line/javascript/Makefile
@@ -0,0 +1,19 @@
+
+TARGETS = control.js_xml defaults.js_xml utils.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)
+