diff options
-rw-r--r-- | .gitignore | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index d7be8463da7..bc6be66bb52 100644 --- a/.gitignore +++ b/.gitignore @@ -208,8 +208,6 @@ lisp/international/uni-*.el *.dvi *.fn *.fns -doc/*/*.html -!test/etags/html-src/*.html *.info *.ky *.kys @@ -224,7 +222,6 @@ doc/*/*.html *.pgs *.pj *.pjs -doc/*/*.ps *.sc *.scs *.t2d/ @@ -235,6 +232,8 @@ doc/*/*.ps *.tps *.vr *.vrs +doc/*/*.html +doc/*/*.ps doc/emacs/emacsver.texi doc/man/emacs.1 doc/misc/cc-mode.ss |