summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2015-01-06 15:15:25 +0100
committerJonas Smedegaard <dr@jones.dk>2015-01-06 15:15:25 +0100
commit7014e6f7fd1e20f7e123e9dafd6d353dc1f2155c (patch)
treec6a9d13ce0e65da3caa641454bfc13268c559706
parent1d8022a85de38e6c40c2b2c96e4e38b0e5ae5dfe (diff)
Really fix declare (as separate target) target for Mediawiki includes creation.
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6f1780e..29b20dd 100644
--- a/Makefile
+++ b/Makefile
@@ -49,7 +49,7 @@ all: $(flavors:%=$(stem)-%.pdf)
download:
wget -O $(stem).raw '$(source_baseurl)w/index.php?title=$(source_basename)&action=edit'
-$(stem).mw $(mediawiki_includes): $(stem).raw
+$(stem).mw: $(stem).raw
./mediawiki-extract $< $@
./mediawiki-trim $@
./mediawiki-blockquote $@
@@ -59,6 +59,7 @@ $(stem).mw $(mediawiki_includes): $(stem).raw
$(stem).native: $(stem).mw $(localfilters)
$(env_filter) pandoc -f mediawiki $(args_meta) $(args_filter) -o $@ $<
+$(mediawiki_includes): $(stem).mw
$(mediawiki_includes:.mw=.tex): %.tex: %.mw $(stem).mw
pandoc -f mediawiki -t latex --chapters -o $@ $<