maint: add doc/coverage to .gitignore

* .gitignore: Ignore the generated coverage report.

diff --git a/.gitignore b/.gitignore
index 342f9a18a3ec002fb594aa92669ca7984780d136..63faf89566d57f46cc883de042aa5c59902435ff 100644 (file)
--- 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