texinfo update (Fri Jun 29 11:23:01 EDT 2007)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.713
retrieving revision 1.714
diff -u -r1.713 -r1.714
--- ChangeLog   27 Jun 2007 17:19:38 -0000      1.713
+++ ChangeLog   29 Jun 2007 15:00:15 -0000      1.714
@@ -1,3 +1,7 @@
+2007-06-29  Karl Berry  <address@hidden>
+
+       * util/texi2dvi (move_to_dest): do not cmp a directory.
+
 2007-06-27  Karl Berry  <address@hidden>
 
        * util/texi2dvi (move_to_dest): do not copy a file onto itself,
Index: util/texi2dvi
===================================================================
RCS file: /sources/texinfo/texinfo/util/texi2dvi,v
retrieving revision 1.95
retrieving revision 1.96
diff -u -r1.95 -r1.96
--- util/texi2dvi       27 Jun 2007 17:19:38 -0000      1.95
+++ util/texi2dvi       29 Jun 2007 15:00:15 -0000      1.96
@@ -1,6 +1,6 @@
 #! /bin/sh
 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources.
-# $Id: texi2dvi,v 1.95 2007/06/27 17:19:38 karl Exp $
+# $Id: texi2dvi,v 1.96 2007/06/29 15:00:15 karl Exp $
 #
 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2001,
 # 2002, 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
@@ -35,7 +35,7 @@
 set -e
 
 # This string is expanded by rcs automatically when this file is checked out.
-rcs_revision='$Revision: 1.95 $'
+rcs_revision='$Revision: 1.96 $'
 rcs_version=`set - $rcs_revision; echo $2`
 program=`echo $0 | sed -e 's!.*/!!'`
 version="texi2dvi (GNU Texinfo 4.9) $rcs_version
@@ -525,6 +525,7 @@
       error 1 "no such file or directory: $file"
     fi
     if test -n "$dest"; then
+      test -f "$dest" || dest="$dest/$file"
       if cmp -s "$file" "$dest"; then :; else
         verbose "Copying $file to $dest"
         cp -p "$file" "$dest"
P ChangeLog
P util/texi2dvi