Whitespace fixups.

[strayman] / .gitignore

diff --git a/.gitignore b/.gitignore
index 53d147c..74e44b3 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,9 @@
 *.ind
 *.log
 *.lot
+*.out
+*.ps
+*.pdf
 *.sty
 *.thm
 *.tmp