diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index cbb91ca96..df51012fa 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ README.* INSTALL.* .configure-stamp man/man?/*.1 +man/man?/*.5 man/man?/*.html *.diff pandoc.cabal.orig |