Replace texi2html @5.0_1 with texinfo @5.2

[larryv (Lawrence Velázquez)]

​Texi2HTML was subsumed by ​Texinfo a while ago. It’d be great if the few ports that currently require it could switch to using Texinfo so we could retire the texi2html port.

[jmroot (Joshua Root)]

While texi2html is indeed deprecated in favour of texi2any from texinfo, note that it's not a drop-in replacement. Docs here:

​http://www.gnu.org/software/texinfo/manual/texinfo/html_node/texi2html.html

[dliessi (Davide Liessi)]

Currently LilyPond is approximating the next stable release (2.18). It is highly unlikely that they may decide to change their documentation building system right now. This means that texi2html should be kept in MacPorts at least throughout the lifetime of LilyPond 2.18, which probably means more than one year.

[dliessi (Davide Liessi)]

Cc Me!

[cooljeanius (Eric Gallager)]

Cc Me!

[dbevans (David B. Evans)]

Suggested as enhancement to ffmpeg developers in ​https://trac.ffmpeg.org/ticket/3232#ticket

[dbevans (David B. Evans)]

Reply from ffmpeg is ​here citing scarcity of texi2any in distributions.

[cooljeanius (Eric Gallager)]

Replying to devans@…:

Reply from ffmpeg is ​here citing scarcity of texi2any in distributions.

...so it appears we have a chicken-and-the-egg problem here. Have any other distributions added texi2any in the last 7 months?

[dbevans (David B. Evans)]

As of yesterday the upstream ticket was assigned to a developer so maybe there's still hope. Personally, I don't think it's a big deal one way or the other.

[dbevans (David B. Evans)]

Fixed upstream in ​http://git.videolan.org/?p=ffmpeg.git;a=commitdiff;h=17ad5fbb8af3ea3fad689064bc84ecfdfe52f0c2

ffmpeg now uses makeinfo (provided by texinfo) for documentation generation if available with fallback to old texi2html.

ffmpeg, ffmpeg-devel fixed to depend on texinfo rather than texi2html in r136462, r136463.