Fix dependencies of erc in doc/misc/makefile.w32-in.
commita170fe53e3e2c807e7969b008877c5555d3adb80
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 09:02:24 +0000 (22 11:02 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 09:02:24 +0000 (22 11:02 +0200)
tree8bb481085d1b821583a76f4f7f5617f1785000aa
parentc995b26efe47d6bd5005386b97bc393aef9510ce
Fix dependencies of erc in doc/misc/makefile.w32-in.

 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