texi2dvi -o xxx.dvi is broken in texinfo-4.9

[Theodoros V. Kalamatianos]

Hi,

running `texi2dvi -o test2.dvi test.texi' fails to create the test2.dvi 
file, beacuse it tries to create the test2.dvi/test.dvi file instead.

The following patch fixes this:

--- /usr/bin/texi2dvi   2007-06-30 23:25:13.000000000 +0300
+++ texi2dvi    2007-07-28 19:43:22.000000000 +0300
@@ -525,7 +525,7 @@
       error 1 "no such file or directory: $file"
     fi
     if test -n "$dest"; then
-      test -f "$dest" || dest="$dest/$file"
+      if test -d "$dest"/; then dest="$dest/$file"; fi
       if cmp -s "$file" "$dest"; then :; else
         verbose "Copying $file to $dest"
         cp -p "$file" "$dest"


Regards,

Theodoros Kalamatianos


PS: Pleace CC: any replies back to me...