Re: texi2dvi: A more pleasant way to compile

[Karl Berry]

    preserve these guys in the builddir, just like regular .o etc.

Ok, I buy that.  Forget the tmpdir stuff.

    Sure.  And to Makefiles too.  

Yeah.  I'm not sure I really want to force every maintainer to play with
their admin files.  I rather suspect most of them don't need the
advantages and never noticed a problem.

So how about if we make the new behavior enabled with an option (or
envvar), instead of making it the default?  That will be less intrusive.

Thanks,
k