diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -61,6 +61,14 @@ nochunks: sed -i -e "s@text/html@application/xhtml+xml@g" \ $(BASEDIR)/$(NOCHUNKS_OUTPUT) + if [ ! -e $(BASEDIR)/images ]; then \ + mkdir -p $(BASEDIR)/images; \ + fi; + cp $(XSLROOTDIR)/images/*.png \ + $(BASEDIR)/images + cd $(BASEDIR)/; sed -i -e "s@../images@images@g" \ + *.html + validate: xmllint --noout --nonet --xinclude --postvalid index.xml |