annotate doc/misc/.cvsignore @ 86025:19784f7db0ef

(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel): Adapt to new search UI. (doc-view-search-backward): New function. (doc-view-search): Query new regexp if prefix arg is given, else jump to next/previous match. (doc-view-mode): Handle compressed files. (jka-compr): Required for compressed files.
author Juri Linkov <juri@jurta.org>
date Sat, 10 Nov 2007 21:53:25 +0000
parents 1a1bf5f79f55
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84281
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 *.aux
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 *.cp
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 *.cps
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 *.dvi
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 *.fn
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 *.fns
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 *.ky
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 *.kys
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 *.log
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 *.op
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 *.ops
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 *.pdf
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 *.pg
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 *.pgs
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 *.ps
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 *.tmp
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 *.toc
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 *.tp
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 *.tps
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 *.vr
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 *.vrs
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 Makefile
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 makefile