Do not store temporary PDF file.

5 years ago · 252142ec16
parent 6777e57d37
commit 252142ec16
1 changed files with 0 additions and 1 deletions
--- a/docs/src/userguide.pdf
+++ b/docs/src/userguide.pdf
@ -1 +0,0 @@
 tmp/userguide.pdf