diff --git a/.gitignore b/.gitignore
index b9cfd1d8f493d441ba26eb968437690f7057ad47..74921b82349d1474e1b4d3333f42755977e1dbb8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
# build output
doc/*.1
+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
src/frontend/scanner.c