diff options
Diffstat (limited to 'src/templates/Makefile')
| -rw-r--r-- | src/templates/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/templates/Makefile b/src/templates/Makefile new file mode 100644 index 000000000..9522666c5 --- /dev/null +++ b/src/templates/Makefile @@ -0,0 +1,20 @@ +VPATH := .. +PROCESSOR := ./fillTemplates.pl +TARGETS := Text/Pandoc/ASCIIMathML.hs \ + Text/Pandoc/Writers/S5.hs \ + Text/Pandoc/Writers/DefaultHeaders.hs + +all: $(TARGETS) + +Text/Pandoc/ASCIIMathML.hs: ASCIIMathML.hs $(PROCESSOR) $(VPATH)/ASCIIMathML.js + perl $(PROCESSOR) $@ $(VPATH) + +Text/Pandoc/Writers/S5.hs: S5.hs $(PROCESSOR) $(VPATH)/ui/default/* + perl $(PROCESSOR) $@ $(VPATH) + +Text/Pandoc/Writers/DefaultHeaders.hs: DefaultHeaders.hs $(PROCESSOR) $(VPATH)/headers/* + perl $(PROCESSOR) $@ $(VPATH) + +.PHONY: clean +clean: + cd $(VPATH); rm -f $(TARGETS) |