Georg Baum <[EMAIL PROTECTED]> writes:
| I created the attached patch, based on your last one (dvi-search-3.diff).
| It works for me (did only test xdvi).
| In order to give the DVI file with source specials a different name I
| defined the suffix of the new dvi2 format as dvix. This triggered a bug
| in the current converter mechanism: It is always assumed that the output
| file name of a converter can be set by a command line argument, but this
| is not the case for e.g. latex.
| I extended the converter mechanims to use the resultfile flag as output
| file name for these converters, and rename the created file as needed.
| This could also be useful for other converters.
| One drawback of this solution compared to the original one is that an
| existing dvi file in the temp dir will be overwritten (and then renamed)
| if a dvi2 file is created. This could be easily solved by defining a
| latex2 format and using that as source for dvi2 creation.
Why not use change the name of the file? Add a prefix or suffix or
something? No playing around with the file extension.
Or is it not possible to choose the exporter explictly, but must be
done through file ext?
--
Lgb
