1) Matitaweb now disambiguates scripts as it runs them

[helm.git] / matitaB / components / syntax_extensions / Makefile

diff --git a/matitaB/components/syntax_extensions/Makefile b/matitaB/components/syntax_extensions/Makefile
index 5f0065d2f8ca57b172fee6284df7eb0db484e362..c869ed831c7bdaa6b041c39e5bf1efabf55ffaa7 100644 (file)
--- a/matitaB/components/syntax_extensions/Makefile
+++ b/matitaB/components/syntax_extensions/Makefile
@@ -1,6 +1,6 @@
 PACKAGE = utf8_macros
 PREDICATES =
-MAKE_TABLE_PACKAGES = helm-xml
+MAKE_TABLE_PACKAGES = "netstring helm-xml"
 
 # modules which have both a .ml and a .mli
 INTERFACE_FILES = utf8Macro.mli 
@@ -15,7 +15,7 @@ make_table: make_table.ml
        $(H)$(OCAMLFIND) ocamlc -rectypes -package $(MAKE_TABLE_PACKAGES) -linkpkg -o $@ $^
 
 utf8MacroTable.ml:
-       ./make_table $@ $@.txt
+       ./make_table $@ $@.txt $(@:%.ml=%.js)
 utf8MacroTable.cmo: utf8MacroTable.ml
        @echo "  OCAMLC $<"
        $(H)@$(OCAMLFIND) ocamlc -c $<