> If I may make a suggestion, /bin/mv can move files (but not directories)
> accross filesystems. If we spawn it, we avoid the entire problem [this may
> not work on a (future) native port to Win32/MacOS]. I think there was a
> decision against this approach.
How long would it take to copy the file using C++ only?
If this is not _really_ noticable (say less than 0.x seconds for
the "average" dvi) I'd say that's the way to go.
Andre'
--
Andre' Poenitz ........................................ [EMAIL PROTECTED]
