diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 04df41c7d9a..12931661658 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2014-06-11 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * Makefile.in (INFO_INSTALL): Update for 2013-08-28 DOCMISC_W32 change. | ||
| 4 | |||
| 1 | 2014-06-10 Glenn Morris <rgm@gnu.org> | 5 | 2014-06-10 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * Makefile.in (INFO_EXT): Remove and replace by ".info" throughout. | 7 | * Makefile.in (INFO_EXT): Remove and replace by ".info" throughout. |
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 62f50af0e43..4e9f8f18526 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in | |||
| @@ -72,7 +72,7 @@ INFO_COMMON = ada-mode auth autotype bovine calc ccmode cl \ | |||
| 72 | url vhdl-mode vip viper widget wisent woman | 72 | url vhdl-mode vip viper widget wisent woman |
| 73 | 73 | ||
| 74 | ## Info files to install on current platform. | 74 | ## Info files to install on current platform. |
| 75 | INFO_INSTALL = $(INFO_COMMON) $(DOCMISC_INFO_W32) | 75 | INFO_INSTALL = $(INFO_COMMON) $(DOCMISC_W32) |
| 76 | 76 | ||
| 77 | ## Info files to build on current platform. | 77 | ## Info files to build on current platform. |
| 78 | ## This is all of them, even though they might not all get installed, | 78 | ## This is all of them, even though they might not all get installed, |