On Mon, Jul 07, 2008 at 07:58:27PM -0500, Karl Berry wrote: > > Yes. And this alone is a huge job. Heck, just *tokenizing* is not > simple. It cannot be done anything like a traditional tokenizer/parser, > since the tokens vary in context. For instance, @ is not always an > escape (@verbatim ...). > > And there is no way to parse bigger constructs without actually > recognizing/executing some code, because of the verdamnt @macro.
But it is possible to remove the @macro without doing a full parsing of the texinfo. One has still to take into account the commands that leads to a change in context as you outlined above (@verbatim, @ignore, @htmt, @verb, for example). -- Pat
