[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) |
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...
- texi2dvi -o xxx.dvi is broken in texinfo-4.9,
Theodoros V. Kalamatianos <=