# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1214100138 0
# Node ID 3a4e89c0e04d579a5979920a099511f3d300fb98
# Parent  b7e6caae971507fa82850831477f6dff13001bb6
*** empty log message ***

diff -r b7e6caae9715 -r 3a4e89c0e04d src/ChangeLog
--- a/src/ChangeLog	Sun Jun 22 02:02:06 2008 +0000
+++ b/src/ChangeLog	Sun Jun 22 02:02:18 2008 +0000
@@ -1,3 +1,7 @@
+2008-06-22  Glenn Morris  <rgm@gnu.org>
+
+	* Makefile.in (witness-emacs): Depend on temacs${EXEEXT}.
+
 2008-06-21  Stefan Monnier  <monnier@iro.umontreal.ca>
 
 	* Makefile.in (PRECOMP): Remove.