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

added "dumb" test target
---

diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index b370567de..5fea4a91d 100644
--- a/helm/software/matita/help/C/Makefile
+++ b/helm/software/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