diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2015-04-12 11:26:50 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2015-04-12 11:26:50 -0700 |
| commit | 30bcb238c3a53f777c2a4952f51a68df6272cff4 (patch) | |
| tree | fcef344021f49dcdbea65129dce8a8d49186aab8 /doc/man | |
| parent | 950c0027cb4018c79d8f429007920ac279431cd4 (diff) | |
* doc/man/ChangeLog.01: Rename from doc/man/ChangeLog.1.
That way, 'make install' won't think it's a man page.
Reported by Ashish SHUKLA in:
http://lists.gnu.org/archive/html/emacs-devel/2015-04/msg00656.html
Diffstat (limited to 'doc/man')
| -rw-r--r-- | doc/man/ChangeLog.01 (renamed from doc/man/ChangeLog.1) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/man/ChangeLog.1 b/doc/man/ChangeLog.01 index 205e9b900c..205e9b900c 100644 --- a/doc/man/ChangeLog.1 +++ b/doc/man/ChangeLog.01 |