diff options
| -rw-r--r-- | Makefile | 18 |
1 files changed, 15 insertions, 3 deletions
@@ -6,16 +6,28 @@ pages=$(shell sed -n 's/^.*filename="\([^"]*\)".*/\1/p' main.xml) pages_html=$(pages:%.xml=%.xhtml) +DEFAULT_VERBOSITY=0 + +# verbosity stuff +V_XSLT = $(v_xslt_$(V)) +v_xslt_ = $(v_xslt_$(DEFAULT_VERBOSITY)) +v_xslt_0 = @echo " XSLT " $@; + +V_GEN = $(v_gen_$(V)) +v_gen_ = $(v_gen_$(DEFAULT_VERBOSITY)) +v_gen_0 = @echo " GEN " $@; + + .PHONY: all all: $(pages_html) checkmark.png %.png: %.svg - $(svg2png) $< > $@ + $(V_GEN) $(svg2png) $< > $@ %.xhtml: %.xml %.xsl xsl/* - $(xsltproc) $< > $@ + $(V_XSLT) $(xsltproc) $< > $@ %.xhtml: %.xml xsl/* - $(xsltproc) $< > $@ + $(V_XSLT) $(xsltproc) $< > $@ clean: rm -f $(pages_html) checkmark.png |