Fix dependencies of erc in doc/misc/makefile.w32-in.
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 09:02:24 +0000 (11:02 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 09:02:24 +0000 (11:02 +0200)
 doc/misc/makefile.w32-in: ($(infodir)/erc$(INFO_EXT), erc.dvi): Don't
 depend on gpl.texi.

doc/misc/ChangeLog
doc/misc/makefile.w32-in

index 64cc1df..3391a9c 100644 (file)
@@ -5,6 +5,7 @@
        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>
 
index 14e7f1b..4cf5dac 100644 (file)
@@ -309,9 +309,9 @@ $(infodir)/rcirc$(INFO_EXT): rcirc.texi
 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