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

[helm.git] / share / texmf / unicode / README.matita

diff --git a/share/texmf/unicode/README.matita b/share/texmf/unicode/README.matita
new file mode 100644 (file)
index 0000000..d6a66c5
--- /dev/null
+++ b/share/texmf/unicode/README.matita
@@ -0,0 +1,6 @@
+
+To add a unicode character for the Matita manual have look at config/matita.ucf
+(learn by example), and re-run "make defs" (have a look at Makefile).
+
+Thu, 08 Jun 2006 17:43:07 +0200 zacchiro
+