>>>>> "James" == James Amundson writes:
James> I'd really rather not deal with awk. We already rely (slightly) on perl
James> for texi2html, so I think perl would be the logical choice. I generally
James> dislike perl, but the filter would be a fairly trivial script so I don't
James> think it matters much.
Some of the systems I work on don't have perl but do have plain old
awk, as all Unix systems should. (Yes, I can get perl, but I don't
need or use perl myself.)
Partially working documentation is better than no documentation.
BTW, I think it would be useful to force makeinfo to generate the info
files even if there are errors in the texi files. Currently, it
deletes the generated info files if there are errors.
Ray