diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2015-01-06 15:00:26 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-01-06 15:00:26 +0100 |
| commit | e5c852bd3d1edb78cf015630ae8f02a7e96461c0 (patch) | |
| tree | 2cd96f53feb231200468cc876cd67111791b29a6 | |
| parent | 867f9da4bbad7c518603ed98addbf2c96a2eee5b (diff) | |
Fix declare target of Mediawiki includes creation.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 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: $(stem).raw +$(stem).mw $(mediawiki_includes): $(stem).raw ./mediawiki-extract $< $@ ./mediawiki-trim $@ ./mediawiki-blockquote $@ |