annotate doc/misc/.cvsignore @ 106276:78a8cf7b5387

* sha1.el (sha1-string-external): default-directory "/" in case otherwise non-existent. process-connection-type pipe for touch of efficiency recommended by elisp manual. (An aside in Bug#3911.)
author Kevin Ryde <user42@zip.com.au>
date Thu, 26 Nov 2009 23:38:18 +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