X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2FREADME;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2FREADME;h=5c56b7af577832bb28ddf63547d55afd5ab45375;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/README b/helm/DEVEL/pxp/pxp/rtests/README
new file mode 100644
index 000000000..5c56b7af5
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/README
@@ -0,0 +1,16 @@
+----------------------------------------------------------------------
+(Anti) Regression tests
+----------------------------------------------------------------------
+
+- To build the tests, "markup" must already be compiled in ..
+  Do "make" to start the compilation.
+
+- To run the tests:
+  ./run
+
+- Program dumpfiles: Do "make dumpfiles" to create it.
+  It takes XML file names on the command line, and writes a Latex
+  document on stdout. The document shows the contents of all files.
+  EXAMPLE:
+  $ ./dumpfiles canonxml/data_jclark_valid/ext-sa/*.* >x.tex
+  $ latex x