chiark / gitweb /
Generate Postscript and PDF versions of documents.
[strayman] / .gitignore
index 53d147c15ca9decbbff27f22488508ad111b914e..74e44b383f8fd08259d70d87492d3f18a3645788 100644 (file)
@@ -8,6 +8,9 @@
 *.ind
 *.log
 *.lot
+*.out
+*.ps
+*.pdf
 *.sty
 *.thm
 *.tmp