From f30583d605a00d23e7aa60cdca0e51c5494ae85c Mon Sep 17 00:00:00 2001
From: Kalle Olavi Niemitalo <kon@iki.fi>
Date: Sat, 3 May 2008 18:29:20 +0300
Subject: [PATCH] Do not .gitignore doc/man/man5/*.5, which are already in Git.

---
 doc/man/.gitignore | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/man/.gitignore b/doc/man/.gitignore
index ab81ec23..93d66692 100644
--- a/doc/man/.gitignore
+++ b/doc/man/.gitignore
@@ -1,3 +1,9 @@
 index.bt
 manpage.links
 manpage.refs
+
+# elinks.conf.5 and elinkskeys.5 are first built in $(top_builddir)/doc/,
+# where they should be ignored, but then "make update-man" can copy them
+# to $(top_srcdir)/doc/man/man5/, where they should not be ignored.
+# Override the "*.5" pattern listed in $(top_srcdir)/doc/.gitignore.
+!*.5
-- 
2.11.4.GIT