ignore all *.gz files

We generate them when publishing.

diff --git a/.gitignore b/.gitignore
index e262bd599ddbdbc79f87fd2a13eebff218a486ba..0c5ad52886469b6900f5f6b4586771c260f0a8c7 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 /Makefile
 /blib
 /cover_db
+*.gz