Hi Roberto, The behavior is related with this bug fix.
>* LaTeX: :confval:`release` is not escaped (refs: #3362) Until 1.5.3, "release" variable is not escaped in LaTeX output. So it causes the error on LaTeX build if "release" contains some LaTeX special chars. At this bug fix, we simply escape it for LaTeX builder. So you don't need to escape the variable. Thanks, Takeshi KOMIYA 2017-03-06 21:14 GMT+09:00 Roberto Bagnara <[email protected]>: > On 02/26/2017 04:57 PM, Komiya Takeshi wrote: >> I'm delighted to announce the release of Sphinx 1.5.3, now available on >> the Python package index at <http://pypi.python.org/pypi/Sphinx>. >> >> It includes about 3 new feature and 16 bug fixes for the 1.5.2 release >> series. > > After the upgrade, this seems not to work any longer: > > release = release.replace('_', '\\textunderscore{}'); > > Now in the LaTeX sources we have > > \textbackslash{}textunderscore\{\} > > whereas in the past we had the intended > > \textunderscore{} > > If that is not a regression, what is the recommended > way to have underscores in the release text? > Kind regards, > > Roberto > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics and Computer Science, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:[email protected] > > -- > You received this message because you are subscribed to the Google Groups > "sphinx-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sphinx-users. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.
