GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-26 09:25:56 +03:00
Code Issues Projects Releases Wiki Activity

Add rules for Semantics.pdf to docs/Makefile

Browse Source
This commit is contained in:
Brian Huffman 2017-03-28 14:15:27 -07:00
parent 9228cf0400
commit ecfcb6ad25
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/Makefile
View File

@ -1,4 +1,4 @@
MARKDOWN = Syntax.pdf CryptolPrims.pdf Version2Changes.pdf
MARKDOWN = Syntax.pdf CryptolPrims.pdf Version2Changes.pdf Semantics.pdf
BOOK = Cryptol.pdf
.PHONY: all
@ -7,6 +7,9 @@ all: markdown book
Version2Table.pdf: Version2Table.md
pandoc -f markdown+tex_math_dollars -V geometry:"margin=0.25in" $^ -o $@
Semantics.pdf: ../src/Cryptol/Eval/Reference.lhs
pandoc -f markdown+lhs -V geometry:"margin=1.25in" $^ --toc -o $@
.PHONY: markdown
markdown: ${MARKDOWN}