X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fsyntax_extensions%2FMakefile;h=c869ed831c7bdaa6b041c39e5bf1efabf55ffaa7;hb=dee464f8cd331524663167659d1fad01e558d4e1;hp=5f0065d2f8ca57b172fee6284df7eb0db484e362;hpb=d83fa3d6e3604bcc596840219f3998d795630d66;p=helm.git

diff --git a/matitaB/components/syntax_extensions/Makefile b/matitaB/components/syntax_extensions/Makefile
index 5f0065d2f..c869ed831 100644
--- 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 $<