diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-09-06 05:07:05 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-09-06 05:07:05 +0000 |
| commit | 4009494e10ff47635e0a1bb2c87ce55decf6bc2e (patch) | |
| tree | fe9a9bf012faf2ae3af7c467af044bf1ee1bdd95 /doc/misc/.gitignore | |
| parent | 92f9b43f921d2c8841ae894e61762a38ae57b8e3 (diff) | |
| download | emacs-4009494e10ff47635e0a1bb2c87ce55decf6bc2e.tar.gz | |
Move here from ../../man
Diffstat (limited to 'doc/misc/.gitignore')
| -rw-r--r-- | doc/misc/.gitignore | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/doc/misc/.gitignore b/doc/misc/.gitignore new file mode 100644 index 00000000000..3ff56b474dd --- /dev/null +++ b/doc/misc/.gitignore @@ -0,0 +1,23 @@ +*.aux +*.cp +*.cps +*.dvi +*.fn +*.fns +*.ky +*.kys +*.log +*.op +*.ops +*.pdf +*.pg +*.pgs +*.ps +*.tmp +*.toc +*.tp +*.tps +*.vr +*.vrs +Makefile +makefile |