diff options
| -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 d1239338d23..34209ce8438 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,3 +1,7 @@ +2014-06-10 Glenn Morris <rgm@gnu.org> + + * Makefile.in (INFO_INSTALL): Update for 2013-08-28 DOCMISC_W32 change. + 2014-06-08 Karl Berry <karl@gnu.org> * doc/info.texi (Help-^L): "mode line", "screenful", diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index e5f56be5016..d7562892615 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -73,7 +73,7 @@ INFO_COMMON = ada-mode auth autotype bovine calc ccmode cl \ url vip viper widget wisent woman ## Info files to install on current platform. -INFO_INSTALL = $(INFO_COMMON) $(DOCMISC_INFO_W32) +INFO_INSTALL = $(INFO_COMMON) $(DOCMISC_W32) ## Info files to build on current platform. ## This is all of them, even though they might not all get installed, |