Do not store temporary PDF files.

4 years ago · 48fcdd744d
parent cae178c7b2
commit 48fcdd744d
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