annotate man/.cvsignore @ 47643:e6806bc4402e

(STOP_POLLING, RESUME_POLLING): New macros. (read_char): Use them. Do all exits thru the end of the function.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Sep 2002 17:03:46 +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