summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 562d87d..57a446a 100644
--- a/Makefile
+++ b/Makefile
@@ -3,8 +3,6 @@ suffix = .xhtml
xsltproc=xsltproc --stringparam suffix $(suffix)
svg2png=rsvg-convert -f png
-#pages=$(shell xmllint --xpath "//*/@filename" main.xml | sed 's/filename=//g'| xargs echo)
-#pages=$(shell sed -n 's/^.*filename="\([^"]*\)".*/\1/p' main.xml)
pages=$(shell xsltproc xsl/main_filenames.xsl main.xml)
pages_gen=$(pages:%.xml=%$(suffix))