diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2015-01-03 13:04:31 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-01-03 13:04:31 +0100 |
| commit | 53d99065c71f8e15b42b5f1695426ea4014b5503 (patch) | |
| tree | f6bdbf296681d42542124ebcaf4ae3248605876f | |
| parent | 49268d0bcadc0d35ed44ae7d2a6b2242b2d4bb12 (diff) | |
Change Mediawiki extension to .mw.
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -43,13 +43,13 @@ all: $(flavors:%=$(stem)-%.pdf) download: wget -O $(stem).raw '$(source_baseurl)w/index.php?title=$(source_basename)&action=edit' -$(stem).mediawiki: $(stem).raw +$(stem).mw: $(stem).raw ./mediawiki-extract $< $@ ./mediawiki-trim $@ ./mediawiki-blockquote $@ ./mediawiki-uri-escape $@ -$(stem).native: $(stem).mediawiki $(localfilters) +$(stem).native: $(stem).mw $(localfilters) $(env_filter) pandoc -f mediawiki $(args_meta) $(args_filter) -o $@ $< $(flavors:%=$(stem)-%.tex): $(stem)-%.tex: $(stem).native $(templates) |