diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2014-11-16 17:19:05 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2014-11-16 17:32:01 -0800 |
| commit | 790c69057269dbed855375b91120ccf3cce0f830 (patch) | |
| tree | 04200884299e942530a5f076cd7eb66a6e8c0896 /oldXMenu | |
| parent | cf100f60a6fbed0446dbc091649df4f17e4f5694 (diff) | |
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 'oldXMenu')
| -rw-r--r-- | oldXMenu/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/oldXMenu/.gitignore b/oldXMenu/.gitignore deleted file mode 100644 index f3c7a7c5da..0000000000 --- a/oldXMenu/.gitignore +++ /dev/null @@ -1 +0,0 @@ -Makefile |