Re: Output to directory patch

[Mosè Giordano]

Hi all,

for the record I tried to work on this back in 2013:
https://github.com/giordano/auctex/commit/9c0eb5d4f2f82f4ff22683ef218727b6a45ae54d
(I believe this was based on a previous attempt by Ralf Angeli, but I
can't find a reference for this).  I'm pretty sure I didn't push this
forward because I faced some fundamental challenges that would have
made the functionality only half-baked.  Probably Keita identified
some of those issues.

Bye,
Mosè