diff options
| author | Paul Eggert | 2014-11-16 17:19:05 -0800 |
|---|---|---|
| committer | Paul Eggert | 2014-11-16 17:32:01 -0800 |
| commit | 790c69057269dbed855375b91120ccf3cce0f830 (patch) | |
| tree | 04200884299e942530a5f076cd7eb66a6e8c0896 /doc/misc | |
| parent | cf100f60a6fbed0446dbc091649df4f17e4f5694 (diff) | |
| download | emacs-790c69057269dbed855375b91120ccf3cce0f830.tar.gz emacs-790c69057269dbed855375b91120ccf3cce0f830.zip | |
Simplify and fix doc-related .gitignore files.
This fixes some unwanted 'git status' output after 'make docs'.
* .gitignore: Add **/Makefile, **/makefile.
Remove Makefile, makefile.
Add doc/*/*.xxx rules for the usual kinds of documentation outputs
and temporaries. Add doc/misc/cc-mode.ss.
* doc/emacs/.gitignore, doc/lispref/.gitignore, doc/misc/.gitignore:
* lwlib/.gitignore, oldXMenu/.gitignore:
Remove, as these .gitignore files are no longer needed.
* doc/lispintro/.gitignore: Replace with list of exceptional PDF files.
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/.gitignore | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/doc/misc/.gitignore b/doc/misc/.gitignore deleted file mode 100644 index 3ff56b474dd..00000000000 --- a/doc/misc/.gitignore +++ /dev/null | |||
| @@ -1,23 +0,0 @@ | |||
| 1 | *.aux | ||
| 2 | *.cp | ||
| 3 | *.cps | ||
| 4 | *.dvi | ||
| 5 | *.fn | ||
| 6 | *.fns | ||
| 7 | *.ky | ||
| 8 | *.kys | ||
| 9 | *.log | ||
| 10 | *.op | ||
| 11 | *.ops | ||
| 12 | |||
| 13 | *.pg | ||
| 14 | *.pgs | ||
| 15 | *.ps | ||
| 16 | *.tmp | ||
| 17 | *.toc | ||
| 18 | *.tp | ||
| 19 | *.tps | ||
| 20 | *.vr | ||
| 21 | *.vrs | ||
| 22 | Makefile | ||
| 23 | makefile | ||