annotate man/.cvsignore @ 64509:9a66028f1658

(grep-regexp-alist) (grep-mode-font-lock-keywords, grep-process-setup): Use default GNU grep match color "01;31m" instead of "01;41m". (grep-regexp-alist, grep-mode-font-lock-keywords): Use `\\[[0-9]*m' instead of `\\[00m'. (grep-regexp-alist): Move `\\(?:\033\\[K\\)?' from sgr_end to sgr_start where its handling is more important. Use the real length of sgr_start instead of constant 8. (grep-mode-font-lock-keywords): Don't delete `\\(?:\033\\[K\\)?' specially. Delete all remaining escape sequences. (grep-process-setup): Set "GREP_COLORS" for GNU grep 2.5.1-cvs. (grep-regexp-alist): Make hyperlink only for binary file name instead of the whole line. (grep-mode-map): Bind `backtab' to `compilation-previous-file'. (grep-mode): Add autoload.
author Juri Linkov <juri@jurta.org>
date Tue, 19 Jul 2005 14:21:23 +0000
parents e54dcde23afd
children adbf7c56937f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25838
Dave Love <fx@gnu.org>
parents:
diff changeset
1 *.aux
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
2 *.cp
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
3 *.cps
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
4 *.dvi
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
5 *.fn
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
6 *.fns
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
7 *.ky
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
8 *.kys
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
9 *.log
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
10 *.op
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
11 *.ops
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
12 *.pg
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
13 *.pgs
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
14 *.ps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
15 *.tmp
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
16 *.toc
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
17 *.tp
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
18 *.tps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
19 *.vr
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
20 *.vrs
31816
070cf4b710c5 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 29348
diff changeset
21 Makefile