<meta http-equiv="content-type" content="text/html; charset=iso-8859-15">
<body bgcolor="#FFFFFF" text="#000000">
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
would you consider to insert it in as a next future trunk commit ?
Please think about it....<br>