Re: Output to directory patch

[Al Haji-Ali]

Hi Tassilo and Ikumi,

Is this what you had in mind?

https://github.com/haji-ali/auctex/commit/74422921f822bf9b342f4c7b7d46da5901d7968b

(in my public repo).

Best regards,
-- Al