update submodule; enhance Makefile
This commit is contained in:
parent
8035f98127
commit
d0257fea0e
8
Makefile
8
Makefile
@ -11,14 +11,16 @@ FILTERS = $(PY_FILTERS) $(HS_FILTERS) $(EXT_FILTERS)
|
|||||||
|
|
||||||
all: $(HS_FILTERS) asciimath/pandoc-asciimath $(OUT)
|
all: $(HS_FILTERS) asciimath/pandoc-asciimath $(OUT)
|
||||||
|
|
||||||
$(OUT):
|
.SUFFIXES: .md .pdf
|
||||||
pandoc -S --toc -t latex $(basename $@).md $(addprefix --filter=, $(FILTERS)) -o $@
|
|
||||||
|
%.pdf: %.md
|
||||||
|
pandoc -S --toc -t latex $< $(addprefix --filter=, $(FILTERS)) -o $@
|
||||||
|
|
||||||
$(HS_FILTERS):
|
$(HS_FILTERS):
|
||||||
ghc --make $@.hs -o $@
|
ghc --make $@.hs -o $@
|
||||||
|
|
||||||
asciimath/pandoc-asciimath:
|
asciimath/pandoc-asciimath:
|
||||||
(cd asciimath; make filter)
|
(cd asciimath; make)
|
||||||
|
|
||||||
clean:
|
clean:
|
||||||
rm -f $(OUT)
|
rm -f $(OUT)
|
||||||
|
@ -1 +1 @@
|
|||||||
Subproject commit 7de923080820749a89baa9af0e1f5dab5c1f72fd
|
Subproject commit a6345b7305ef46096647b9f60eb16a772c113e28
|
Loading…
Reference in New Issue
Block a user