From b878f5f15ab1c6074c6f839c08700185e6eb300b Mon Sep 17 00:00:00 2001
From: Kenichi Handa <handa@m17n.org>
Date: Fri, 15 Jun 2007 06:42:54 +0000
Subject: [PATCH] *** empty log message ***

---
 src/ChangeLog.unicode | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/ChangeLog.unicode b/src/ChangeLog.unicode
index 6d9e014cf56..20b0858a0ae 100644
--- a/src/ChangeLog.unicode
+++ b/src/ChangeLog.unicode
@@ -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.
-- 
2.39.5