Update doc/misc/makefile.w32-in.
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 13:49:49 +0000 (15:49 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 13:49:49 +0000 (15:49 +0200)
commitf109a67ecb16c7698539b4fd92c113257e282d53
tree437ed6baa5ffd9beab6aa7a2162d984ae14e1c7e
parent94900bfe14d9da2071e9cd5e1257ae21eeae41d9
Update doc/misc/makefile.w32-in.

 Backport from trunk:

 doc/misc/makefile.w32-in ($(INFO_TARGETS), $(DVI_TARGETS)): Depend on
 doclicense.texi.  Remove doclicense.texi from all targets that
 mentioned it explicitly.
doc/misc/ChangeLog
doc/misc/makefile.w32-in