diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 2540eaee5da..3ee854acf0d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-12-12 Andreas Schwab <schwab@suse.de> + + * Makefile.in (install-info): Use `${MAKE} -s' for echo-info. + (uninstall): Likewise. + 2012-12-12 Glenn Morris <rgm@gnu.org> * info/dir: Add srecode. |