+clean:
+ rm -f *.html *.fo *.pdf
+ rm -rf $(filter-out version.txt,$(wildcard *.txt))
+ rm -f *-stamp
+ 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
+