|
From: | Julien Bect |
Subject: | A question for package maintainers still using TexInfo < 5 |
Date: | Thu, 23 Apr 2015 08:33:30 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 |
Hello all,There is an ongoing discussion on this bug report: https://savannah.gnu.org/bugs/index.php?44899 which is related to the generate_html package.
The point is: there is a hack in several functions of the package (html_help_tex, texi2html) which is supposed to deal with a bug in makeinfo. The bug is longer present in recent TexInfo releases, and the hack has some unpleasant side effects.
Is there any package maintainer still using TexInfo < 5 ? If there is, could he or she join the discussion and see if removing the hack would cause any inconvenience ?
@++ Julien
[Prev in Thread] | Current Thread | [Next in Thread] |