From 6821f2fb4eac73a47f4a272a3f8eb0c2d5160e17 Mon Sep 17 00:00:00 2001
From: =?utf8?q?P=C3=A1draig=20Brady?= <P@draigBrady.com>
Date: Wed, 20 Dec 2017 14:53:29 +0000
Subject: [PATCH] maint: add doc/coverage to .gitignore

* .gitignore: Ignore the generated coverage report.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 342f9a18a3..63faf89566 100644
--- a/.gitignore
+++ b/.gitignore
@@ -40,6 +40,7 @@
 /coreutils-*.tar.xz
 /coreutils-*.tar.xz.sig
 /doc/manual
+/doc/coverage
 /gnulib-tests
 /lib/.dirstamp
 /lib/.gitignore
-- 
2.47.2