From 156e48fcc6f5a0884b120999e61cf3c1d596024d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 8 Feb 2006 12:54:42 +0000 Subject: [PATCH] added pretty printing of generated xml files via xmllint --format --- helm/software/matita/help/C/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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: -- 2.39.2