mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
25 lines
425 B
Makefile
25 lines
425 B
Makefile
|
MARKDOWN = Syntax.pdf CryptolPrims.pdf Version2Changes.pdf
|
||
|
BOOK = Cryptol.pdf
|
||
|
|
||
|
.PHONY: all
|
||
|
all: markdown book
|
||
|
|
||
|
Version2Table.pdf: Version2Table.markdown
|
||
|
pandoc -f markdown+tex_math_dollars $^ -o $@
|
||
|
|
||
|
.PHONY: markdown
|
||
|
markdown: ${MARKDOWN}
|
||
|
|
||
|
.PHONY: book
|
||
|
book:
|
||
|
(cd ProgrammingCryptol; make)
|
||
|
cp ProgrammingCryptol/tmp/${BOOK} .
|
||
|
|
||
|
%.pdf: %.markdown
|
||
|
pandoc $^ --toc -o $@
|
||
|
|
||
|
.PHONY: clean
|
||
|
clean:
|
||
|
rm -f ${MARKDOWN}
|
||
|
rm -f ${BOOK}
|