* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
authorJuanma Barranquero <lekktu@gmail.com>
Wed, 7 Oct 2009 01:43:06 +0000 (01:43 +0000)
committerJuanma Barranquero <lekktu@gmail.com>
Wed, 7 Oct 2009 01:43:06 +0000 (01:43 +0000)
commit216f299a7d4a001dbf0bba140983af0a3eca5973
tree5d356d9859f5831a5bf974d665c6d9f41df98169
parent07dc47d9a8bae701c5a23d65c9e9dc9ae14ef773
* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
 ($(infodir)/eieio, eieio.dvi, $(infodir)/ede, ede.dvi): New targets.
doc/misc/ChangeLog
doc/misc/makefile.w32-in