On Tue, Dec 21, 2021 at 6:19 PM Jacob Bachmeyer <[email protected]> wrote:
> Generating the @defindex commands is a simple matter of > grep/sed/awk over the document > to identify and extract the categories used if each category is to have > its own mini-index. Well, that's the most complex part of this whole operation, and it is indeed currently implemented by a combination of bash, sed, and awk, which I'd like to avoid if possible, hence my questions about working with a parse tree of some kind. best, Robert Dodier
