diff --git a/.gitignore b/.gitignore
index b9cfd1d8f493d441ba26eb968437690f7057ad47..dbdf2bb49d8398a41277e73926272957c75ac291 100644 (file)
--- a/.gitignore
+++ b/.gitignore
# build output
doc/*.1
+doc/*.1.html
+doc/*.1.xml
doc/*.5
+doc/*.5.html
+doc/*.5.xml
+doc/*.7
+doc/*.7.html
+doc/*.7.xml
+doc/docbook-xsl.css
src/frontend/grammar.c
src/frontend/grammar.h
src/frontend/scanner.c