mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
change name of book pdf
This commit is contained in:
parent
af3e5ecb39
commit
72cd17c11b
2
.gitignore
vendored
2
.gitignore
vendored
@ -8,8 +8,8 @@ dist
|
||||
results.xml
|
||||
|
||||
# don't check in generated documentation
|
||||
docs/Cryptol.pdf
|
||||
docs/CryptolPrims.pdf
|
||||
docs/ProgrammingCryptol.pdf
|
||||
docs/Syntax.pdf
|
||||
docs/Version2Changes.pdf
|
||||
|
||||
|
@ -13,7 +13,7 @@ markdown: ${MARKDOWN}
|
||||
.PHONY: book
|
||||
book:
|
||||
(cd ProgrammingCryptol; make)
|
||||
cp ProgrammingCryptol/tmp/${BOOK} .
|
||||
cp ProgrammingCryptol/tmp/${BOOK} ./ProgrammingCryptol.pdf
|
||||
|
||||
%.pdf: %.md
|
||||
pandoc $^ --toc -o $@
|
||||
|
Loading…
Reference in New Issue
Block a user