diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -61,14 +61,6 @@ 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 |