<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=iso-8859-15">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    Hello guys,<br>

    <br>

    if was wondering if you have ever considered to embed the <b>TEXINFO</b>

    package as one of the <b>HOST</b> build tools. I have bumped a

    couple of times, when compiling, into some issue related to its

    binaries especially when the standard build tools launch the docs

    generation.<br>

    <br>

    would you consider to insert it in as a next future trunk commit ?

    Please think about it....<br>

    <br>

    牋牋 Best, Arturo<br>

  </body>

</html>