On 2009-10-30 Simon Josefsson <si...@josefsson.org> wrote: [...] > Why is texi2html used here? I thought 'makeinfo --html' was preferred.
Good catch. We seem to invoke it manuall in debian/rules. I will put this on my fix it list. cu andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure' -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
