[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
makeinfo erases the file with -E and no texi file
From: |
Dumas Patrice |
Subject: |
makeinfo erases the file with -E and no texi file |
Date: |
Tue, 4 Nov 2003 13:01:13 +0100 |
User-agent: |
Mutt/1.4.1i |
Hi,
When there is an error with makeinfo -E like:
$makeinfo -E ~/tmp/truc.texi
makeinfo: missing file argument.
Try `makeinfo --help' for more information.
The file ~/tmp/truc.texi is erased. Maybe it would be
better if the test of the file argument was achieved
before the file is opened ?
$makeinfo -o ~/tmp/machin.texi
don't erase the file.
Pat
- makeinfo erases the file with -E and no texi file,
Dumas Patrice <=