diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-12-04 21:13:40 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-12-04 21:13:40 -0500 |
| commit | de0e31edcc3ab6ded038e43625b125d01c6b299d (patch) | |
| tree | 1f25a722ff50fe3164368b227b8b3f969eb0c6f2 /ChangeLog | |
| parent | 2e7cddd30317b7951c5425a5769ac9f33136f72f (diff) | |
| download | emacs-de0e31edcc3ab6ded038e43625b125d01c6b299d.tar.gz | |
* configure.ac: Handle info/ files with or without ".info" extension.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog index caec4db11a1..965c7882a86 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,7 +1,10 @@ +2012-12-05 Glenn Morris <rgm@gnu.org> + + * configure.ac: Handle info/ files with or without ".info" extension. + 2012-11-24 Eli Zaretskii <eliz@gnu.org> - * make-dist (nt): Adjust to changes in names of the *.manifest - files. + * make-dist (nt): Adjust to changes in names of the *.manifest files. 2012-11-21 Glenn Morris <rgm@gnu.org> |