This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / DEVEL / pxp / pxp / tools / ucs2_to_utf8 / README

diff --git a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/README b/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/README
deleted file mode 100644 (file)
index d02ae8c..0000000
--- a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/README
+++ /dev/null
@@ -1,15 +0,0 @@
-(******************************************************)
-(*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   *)
-(*                   14/05/2000                       *)
-(******************************************************)
-
-How to compile: "make clean && make depend && make && make opt"
-
-Usage: "cat input.mll | ./ucs2_to_utf8 > output.mll"
- where in input.mll there are definitions of ucs2 regular expressions
- and in output.mll there are the same utf8 regular expressions in the
- format expected by ocamllex
-
- See input/input.mll for an example (the definitions are taken from the
- appendix B of the XML reccomendation) and input/example.mll for a
- smaller one.