+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",
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,