On Mon, Apr 08, 2019 at 12:28:28AM +0100, Gavin Smith wrote: > Maybe texi2dvi should delete auxiliary files in the same directory as > the input file if --build-dir is being used. >
I've tried doing this with commit 90f67ce.
On Mon, Apr 08, 2019 at 12:28:28AM +0100, Gavin Smith wrote: > Maybe texi2dvi should delete auxiliary files in the same directory as > the input file if --build-dir is being used. >
I've tried doing this with commit 90f67ce.