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