diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-12-12 01:02:27 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-12-12 01:02:27 -0800 |
| commit | e035a207b7c3ce6493088b03c1066db58b0cf375 (patch) | |
| tree | 73e9468911baf1e410f5ff6fc9966c89435519bc /ChangeLog | |
| parent | 62bd73fa7a8c50504bc6f916b86603ea654fc472 (diff) | |
| download | emacs-e035a207b7c3ce6493088b03c1066db58b0cf375.tar.gz emacs-e035a207b7c3ce6493088b03c1066db58b0cf375.tar.bz2 emacs-e035a207b7c3ce6493088b03c1066db58b0cf375.zip | |
* Makefile.in (install-info): Remove some useless subshells.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 6abeca9cc20..4ca59ae5ce0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2013-12-12 Glenn Morris <rgm@gnu.org> + * Makefile.in (install-info): Remove some useless subshells. + Stop keeping info/dir in the repository. * build-aux/dir_top: Move here from admin/. * build-aux/make-info-dir: New script. |