the Matita manual is now convertible to a decent .tex that is processable both

[helm.git] / share / texmf / unicode / Makefile

diff --git a/share/texmf/unicode/Makefile b/share/texmf/unicode/Makefile
new file mode 100644 (file)
index 0000000..d24bba6
--- /dev/null
+++ b/share/texmf/unicode/Makefile
@@ -0,0 +1,14 @@
+
+all:
+       @echo
+       @echo "Nothing to do per default, trye one of the following target:"
+       @echo
+       @echo "  make defs      # rebuilt .def files in this directory, using"
+       @echo "                 # configuration from config/* (which includes"
+       @echo "                 # matita.ucf)"
+       @echo
+
+.PHONY: defs
+defs:
+       perl makeunidef.pl -t data --nocomments config/*.ucf config/*.ucf.gz
+