# HG changeset patch
# User Kenichi Handa <handa@m17n.org>
# Date 1181889774 0
# Node ID 96de5ecac1f23c181d1fd7e892400d45eb6e7f38
# Parent  8f324a2ed0de296eccff5e9dbbc0d0ee9d73cb80
*** empty log message ***

diff -r 8f324a2ed0de -r 96de5ecac1f2 src/ChangeLog.unicode
--- a/src/ChangeLog.unicode	Fri Jun 15 06:42:18 2007 +0000
+++ b/src/ChangeLog.unicode	Fri Jun 15 06:42:54 2007 +0000
@@ -1,3 +1,8 @@
+2007-06-15  Ulrich Mueller  <ulm@gentoo.org>  (tiny change)
+
+	* Makefile.in (${lispsource}international/charprop.el): Depend on
+	temacs${EXEEXT}.
+
 2007-06-13  Jason Rumney  <jasonr@gnu.org>
 
 	* w32font.c (w32font_close): Delete the GDI font object.