# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1196674095 0
# Node ID 888320f5e3f7fb12beeb0978f38eb36a6fb9af87
# Parent  deb7d877e4700a6baf4a0d5a24133cc36202cc72
*** empty log message ***

diff -r deb7d877e470 -r 888320f5e3f7 doc/misc/ChangeLog
--- a/doc/misc/ChangeLog	Mon Dec 03 09:24:14 2007 +0000
+++ b/doc/misc/ChangeLog	Mon Dec 03 09:28:15 2007 +0000
@@ -1,3 +1,8 @@
+2007-12-03  Juanma Barranquero  <lekktu@gmail.com>
+
+	* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
+	($(infodir)/dbus, dbus.dvi): New targets.
+
 2007-12-03  Michael Albinus  <michael.albinus@gmx.de>
 
 	* Makefile.in (INFO_TARGETS, DVI_TARGETS): Apply dbus and dbus.dvi