From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 7 Jun 2006 16:38:34 +0000 (+0000)
Subject: added "dumb" test target
X-Git-Tag: 0.4.95@7852~1358
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ac32f6b3e8f8303d41c6b82c9114aae238cdfeb9;p=helm.git

added "dumb" test target
---

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index b370567de..5fea4a91d 100644
--- a/matita/help/C/Makefile
+++ b/matita/help/C/Makefile
@@ -16,6 +16,10 @@ clean:
 	rm -f matita.out matita.log matita.glo matita.dvi matita.idx
 	rm -f matita.aux matita.tex
 
+# test (dumb implementation)
+test:
+	SP_ENCODING=UTF-8 docbook2txt matita.xml
+
 # XHTMLs generation
 
 .PHONY: html