Some makeinfo versions are a pain in [somewhere very painful].
Work this around with a wrapper that always succeeds, and leave incomplete files in place.
/trunk/scripts/crosstool.sh | 7 7 0 0 +++++++
1 file changed, 7 insertions(+)
4 font-family: verdana, arial, helvetica, sans-serif;
6 background-color: white;
9 /* part 1 of 2 centering hack */
19 /* opera does not like 'margin:20px auto' */
21 border: 3px groove #333;
23 /* part 2 of 2 centering hack */
24 width: 620px; /* ie5win fudge begins */
25 voice-family: "\"}\"";
31 width: 584px; /* ie5win fudge ends */
35 border:1px solid black;
42 font-family:verdana, sans-serif;
51 font-family:verdana, sans-serif;