diff options
author | Jonas Smedegaard <dr@jones.dk> | 2015-01-06 15:15:25 +0100 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2015-01-06 15:15:25 +0100 |
commit | 7014e6f7fd1e20f7e123e9dafd6d353dc1f2155c (patch) | |
tree | c6a9d13ce0e65da3caa641454bfc13268c559706 | |
parent | 1d8022a85de38e6c40c2b2c96e4e38b0e5ae5dfe (diff) |
Really fix declare (as separate target) target for Mediawiki includes creation.
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 $@ $< |