Regenerate PDFs. Also remove protocol.ver and adjust .gitignore .

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-23 20:05:43 +01:00 · 2019-08-23 20:05:43 +01:00 · 485942ecdf
parent b7e6c187d4
commit 485942ecdf
5 changed files with 3 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -22,3 +22,6 @@
 protocol/aux/
 protocol/html/
 protocol/saplinghtml/
 protocol/blossom.pdf
 protocol/protocol.ver
--- a/protocol/protocol.pdf
+++ b/protocol/protocol.pdf
--- a/protocol/protocol.ver
+++ b/protocol/protocol.ver
@ -1 +0,0 @@
 \renewcommand{\docversion}{Version 2019.0.5 [\SproutSpec]}
--- a/protocol/sapling.pdf
+++ b/protocol/sapling.pdf
--- a/protocol/sprout.pdf
+++ b/protocol/sprout.pdf
		`@ -1 +0,0 @@`
			`\renewcommand{\docversion}{Version 2019.0.5 [\SproutSpec]}`