diff --git a/.gitignore b/.gitignore
index d3e9df3da051dbeea5282825a13dbbeeda661448..74921b82349d1474e1b4d3333f42755977e1dbb8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
doc/*.1.html
doc/*.5
doc/*.5.html
+doc/*.7
+doc/*.7.html
doc/docbook-xsl.css
src/frontend/grammar.c
src/frontend/grammar.h