Patrice Dumas <[email protected]> writes: > Hello, > > First of all it is a bit unclear where this html comes from. In > general, both texi2html and texi2any/makeinfo, especially for makeinfo > starting at version 5 render properly nested html tags.
Ok, I've just pulled this example from the current LilyPond web sites, and if I take a look at the header, it is <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd";> <html> <!-- Created on March 17, 2014 by texi2html 1.82 texi2html was written by: Lionel Cons <[email protected]> (original author) Karl Berry <[email protected]> Olaf Bachmann <[email protected]> and many others. Maintained by: Many creative people. Send bugs and suggestions to <[email protected]> --> And texi2html --version indeed reports 1.82 on my own system, and I see dak@lola:/usr/local/tmp/emacs$ which texi2html /usr/bin/texi2html dak@lola:/usr/local/tmp/emacs$ dpkg -S `which texi2html` texi2html: /usr/bin/texi2html dak@lola:/usr/local/tmp/emacs$ dpkg -l texi2html Desired=Unknown/Install/Remove/Purge/Hold | Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend |/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad) ||/ Name Version Architecture Description +++-==============-============-============-================================= ii texi2html 1.82+dfsg1-3 all Convert Texinfo files to HTML So this is definitely what current Ubuntu has, and apt-get changelog texi2html delivers texi2html (1.82+dfsg1-3) unstable; urgency=low * QA upload. * Add dependency on libtext-unidecode-perl (Closes: #709906) -- Reinhard Tartler <[email protected]> Wed, 29 May 2013 06:00:47 +0200 texi2html (1.82+dfsg1-2) unstable; urgency=low [ Colin Watson ] * QA upload. * Add build-indep and build-arch targets to debian/rules. * Adjust debian/watch to remove the +dfsg* part from the upstream version number when comparing with upstream. [ Steve Langasek ] * Mark texi2html Multi-Arch: foreign. -- Colin Watson <[email protected]> Wed, 22 May 2013 14:48:34 +0100 Does this make us any wiser? -- David Kastrup
