Closed blefloch closed 9 years ago
I've committed a first approach (\morewritessetup{file=...}
) but I'm worried about misuse and having more problems. See Customizing names of auxiliary file: safe practices? on stackexchange. One option would be to always empty the file at the end of a run, and check when writing it that either it does not exist or it is empty.
(Reported by Denis Bitouzé.) The extension
mw
is used in Maple. Best to allow other file extensions.