annotate man/.cvsignore @ 81133:1b2ee4e66d28

Add TIMESTAMP to LOC to handle "incremental compilation", e.g., with `omake -P': the compilation process never terminates and automatically recompiles modified files.
author Sam Steingold <sds@gnu.org>
date Sun, 03 Jun 2007 18:56:15 +0000
parents 17f1d9e091ba
children 14c4a6aac623
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
77637
17f1d9e091ba ignore *.pdf
Karl Berry <karl@gnu.org>
parents: 65667
diff changeset
12 *.pdf
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
13 *.pg
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
14 *.pgs
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
15 *.ps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
16 *.tmp
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
17 *.toc
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
18 *.tp
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
19 *.tps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
20 *.vr
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
21 *.vrs
31816
070cf4b710c5 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 29348
diff changeset
22 Makefile
65667
adbf7c56937f Add makefile (for MS-Windows).
Eli Zaretskii <eliz@gnu.org>
parents: 46387
diff changeset
23 makefile