-all: html txt
-
-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
-
-# XHTMLs generation
-
-.PHONY: html
-html: html-stamp
-html-stamp: $(MAIN)
- xsltproc $(XHTML_XSL) $<