diff options
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index b617df9be99..e31c7251ffb 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,5 +1,8 @@ | |||
| 1 | 2013-12-12 Glenn Morris <rgm@gnu.org> | 1 | 2013-12-12 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * update_autogen (info_dir): | ||
| 4 | Use dir_top from build-aux/ rather than admin/. | ||
| 5 | |||
| 3 | * update_autogen: Add option to generate info/dir. | 6 | * update_autogen: Add option to generate info/dir. |
| 4 | (Usage): Add -I. | 7 | (Usage): Add -I. |
| 5 | (info_flag): New variable. | 8 | (info_flag): New variable. |