change name of book pdf

GaloisInc · Apr 24, 2014 · 72cd17c · 72cd17c
1 parent af3e5ec
commit 72cd17c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -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
 

diff --git a/docs/Makefile b/docs/Makefile
@@ -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 $@