From 8056535afedf68d7205b4ab2a917c7f10a896c60 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sat, 11 Jul 2015 17:56:51 +0200
Subject: [PATCH] ignore generated cov

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index fd3df6874..96ff8d979 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 *Makefile
 *.gcno
 *.gcda
+doc/coverage/
 aclocal.m4
 autom4te.cache
 autoscan.log