From 98cb43fb0d6b29260c96662ee18f3cfbc4878c97 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Tue, 2 Jun 2015 18:27:28 +0300
Subject: [PATCH] Minor tweaks for .gitignore

* .gitignore: Don't ignore versioned *.html and *.ps files.  Don't
ignore admin/notes/tags that might be ignored as TAGS on
case-insensitive filesystems.  (Bug#20710)
---
 .gitignore | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 2f47e3c4f15..d7be8463da7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -155,6 +155,7 @@ test/etags/CTAGS
 
 # ctags, etags.
 TAGS
+!admin/notes/tags
 
 # GNU global.
 GPATH
@@ -207,7 +208,7 @@ lisp/international/uni-*.el
 *.dvi
 *.fn
 *.fns
-*.html
+doc/*/*.html
 !test/etags/html-src/*.html
 *.info
 *.ky
@@ -223,8 +224,7 @@ lisp/international/uni-*.el
 *.pgs
 *.pj
 *.pjs
-*.ps
-!test/etags/ps-src/*.ps
+doc/*/*.ps
 *.sc
 *.scs
 *.t2d/
-- 
2.39.5