Ignore new generated files

Ignore the single-file HTML versions and policy.txt (uncompressed).

diff --git a/.gitignore b/.gitignore
index 8f14f13884ebe3dde30cf9aeebf06357aa597b63..22a2f0c5e37652024afdd0e0a60149e8d3796b91 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -8,10 +8,12 @@
 /policy.html/
 /stamp-build
 /version.ent
+*-1.html
 *.html.tar.gz
 *.pdf
 *.pdf.gz
 *.ps
 *.ps.gz
 *.tpt
+*.txt
 *.txt.gz