added pretty printing of generated xml files via xmllint --format

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index f9ebfd09f3a8075cad78dd1abb8a5e341b64f5ac..95fe3e3c696c9b381948d6ffdfe5e46361a84d04 100644 (file)
--- a/matita/help/C/Makefile
+++ b/matita/help/C/Makefile
@@ -20,9 +20,9 @@ txt-stamp: html-stamp
 %.txt: %.html
        w3m -dump $< > $@
 %.html: %.xml
-       xsltproc $(XHTML_XSL) $< > $@
+       xsltproc $(XHTML_XSL) $< | xmllint --format - > $@
 %.fo: %.xml
-       xsltproc $(FO_XSL) $< > $@
+       xsltproc $(FO_XSL) $< | xmllint --format - > $@
 %.pdf: %.fo
        fop $< $@
 clean: