annotate doc/misc/.cvsignore @ 105501:e3e540de3898

(batch-update-autoloads): Rather than having the list of preloaded files passed on the command-line, get it from src/Makefile.
author Glenn Morris <rgm@gnu.org>
date Wed, 07 Oct 2009 07:18:53 +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