1 files changed, 5 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 5396180..3b9998d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,11 @@
 *.l
 *.l.cpp-options
 
+# Generated documentation.
+#
+*.pdf
+*.ps
+
 # Generated build system files.
 #
 *-dynamic.make