[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Theodoros V. Kalamatianos
Subject: texi2dvi -o xxx.dvi is broken in texinfo-4.9
Date: Sat, 28 Jul 2007 19:45:16 +0300 (EEST)


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"
     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"


Theodoros Kalamatianos

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]