]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/javascript/Makefile
New entry: relevant_equations.
[helm.git] / helm / on-line / javascript / Makefile
1
2 TARGETS = helmjsmenu.js_xml
3
4 .SUFFIXES:
5 .SUFFIXES: .js .js_xml
6
7 .js.js_xml:
8         @echo "<?xml version='1.0'?>" >$@
9         @echo "<script>" >>$@
10         @echo "<![CDATA[" >>$@
11         @cat $< >>$@
12         @echo "]]>" >>$@
13         @echo "</script>" >>$@
14
15 all: $(TARGETS)
16
17 clean:
18         rm -rf $(TARGETS)
19