]> matita.cs.unibo.it Git - helm.git/commitdiff
added "dumb" test target
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 7 Jun 2006 16:38:34 +0000 (16:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 7 Jun 2006 16:38:34 +0000 (16:38 +0000)
helm/software/matita/help/C/Makefile

index b370567def24ba2a9a5ae804b9fa6d11961b5e00..5fea4a91d0b34d5d01e7fbe7118b1ffeb7b394d3 100644 (file)
@@ -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