doc/misc/makefile.w32-in: ($(infodir)/erc$(INFO_EXT), erc.dvi): Don't
depend on gpl.texi.
mentioned it explicitly.
($(infodir)/woman$(INFO_EXT), woman.dvi): Depend on
$(emacsdir)/emacsver.texi.
+ ($(infodir)/erc$(INFO_EXT), erc.dvi): Don't depend on gpl.texi.
2012-12-21 Glenn Morris <rgm@gnu.org>
rcirc.dvi: rcirc.texi
$(ENVADD) $(TEXI2DVI) $(srcdir)/rcirc.texi
-$(infodir)/erc$(INFO_EXT): erc.texi gpl.texi
+$(infodir)/erc$(INFO_EXT): erc.texi
$(MAKEINFO) $(MAKEINFO_OPTS) $(INFO_OPTS) -o $@ erc.texi
-erc.dvi: erc.texi gpl.texi
+erc.dvi: erc.texi
$(ENVADD) $(TEXI2DVI) $(srcdir)/erc.texi
$(infodir)/ert$(INFO_EXT): ert.texi