Update gitignore

diff --git a/.gitignore b/.gitignore
index 264f0e5d5a5b9883cb7f37a1bee0941e6ec4355f..7e248e6dc55d73c370b6044dda25e57950a86b47 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,7 @@
 /src/igr-tests/environ/env-record
 /src/igr-tests/ps-environ/env-record
 /src/igr-tests/chain-to/recorded-output
+
+# Generated man pages:
+/doc/manpages/*.5
+/doc/manpages/*.8