added "dumb" test target

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index b370567def24ba2a9a5ae804b9fa6d11961b5e00..5fea4a91d0b34d5d01e7fbe7118b1ffeb7b394d3 100644 (file)
--- 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