From 53d99065c71f8e15b42b5f1695426ea4014b5503 Mon Sep 17 00:00:00 2001
From: Jonas Smedegaard <dr@jones.dk>
Date: Sat, 3 Jan 2015 13:04:31 +0100
Subject: Change Mediawiki extension to .mw.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

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)
-- 
cgit v1.2.3