bug#40001: tex-start-options-string not updated in texinfo.el

[Eli Zaretskii]

> Date: Tue, 31 Mar 2020 17:10:35 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 40001@debbugs.gnu.org
> 
> > 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.

Thanks, pushed to the master branch.