annotate doc/misc/.cvsignore @ 103213:9dae7d399c7d

* tutorial.el (help-with-tutorial): Don't use text mode, since the tutorial text assume Fundamental mode.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 12 May 2009 16:06:07 +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