summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2015-01-03 13:04:31 +0100
committerJonas Smedegaard <dr@jones.dk>2015-01-03 13:04:31 +0100
commit53d99065c71f8e15b42b5f1695426ea4014b5503 (patch)
treef6bdbf296681d42542124ebcaf4ae3248605876f /Makefile
parent49268d0bcadc0d35ed44ae7d2a6b2242b2d4bb12 (diff)
Change Mediawiki extension to .mw.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 30f355d..00dbe62 100644
--- a/Makefile
+++ b/Makefile
@@ -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)