1. bug fixed: Unicode characters that are not mapped to TeX macros used to

[helm.git] / matita / dist / Makefile

diff --git a/matita/dist/Makefile b/matita/dist/Makefile
index 669137bf2d46c92c72f5ee693145ca8e73ef6abe..dccc22f1537dc7dc116902a47dacf0e71464e08a 100644 (file)
--- a/matita/dist/Makefile
+++ b/matita/dist/Makefile
@@ -2,6 +2,9 @@ MYSQL_FLAGS = --extended_insert --lock-tables=off --no-create-info
 DB = -u helm -h mowgli.cs.unibo.it matita
 TABLE_CREATOR = ../../ocaml/metadata/table_creator/table_creator
 TABLES := $(shell $(TABLE_CREATOR) list all)
+MANUAL_DIR = ../help/C
+WEB_DIR = ../../../www/matita
+
 all: static_link
 clean: static_link_clean
 .PHONY: static_link
@@ -15,3 +18,10 @@ matita_stdlib.sql:
        mysqldump $(MYSQL_FLAGS) $(DB) $(TABLES) > $@
 %.gz: %
        gzip -c $< > $@
+
+dist_pre: INSTALL README
+INSTALL: $(MANUAL_DIR)/txt-stamp
+       cp $(MANUAL_DIR)/sec_install.txt $@
+$(MANUAL_DIR)/txt-stamp:
+       $(MAKE) -C $(MANUAL_DIR) txt-stamp
+