From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 8 Feb 2006 12:54:42 +0000 (+0000)
Subject: added pretty printing of generated xml files via xmllint --format
X-Git-Tag: make_still_working~7595
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=156e48fcc6f5a0884b120999e61cf3c1d596024d;p=helm.git

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

diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index f9ebfd09f..95fe3e3c6 100644
--- a/helm/software/matita/help/C/Makefile
+++ b/helm/software/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: