[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40001: tex-start-options-string not updated in texinfo.el
From: |
Eli Zaretskii |
Subject: |
bug#40001: tex-start-options-string not updated in texinfo.el |
Date: |
Tue, 31 Mar 2020 17:10:35 +0300 |
> From: "Ernest N. Mamikonyan" <Ernest.Mamikonyan@sig.com>
> Cc: <40001@debbugs.gnu.org>
> Date: Mon, 30 Mar 2020 15:25:15 -0400
>
> On Fri, Mar 13 2020, Eli Zaretskii wrote:
>
> > Should we also bind tex-start-commands to some value (an empty
> > string)? If not, why not?
>
> Sorry, not sure if you had a chance to look at the previous patch, based
> on your suggestion. Do you agree with the approach?
Yes, I will handle this soon. Thanks for the reminder.