[texdoc] texdoc and regexes

Karl Berry karl at freefriends.org
Mon Sep 22 00:22:35 CEST 2008

    I'm not quite sure I know what "normal regexes" mean

Basically, grep and egrep (er, grep -E).  There are POSIX standards
about regexps too, BTW.  (Which have their own problems, but anyway.)

    I wonder if it would not be more useful to do some
    shell-style globs instead. Wdyt?

Globs would be fine too.  Definitely much better than Lua regexps,
possibly better than normal regexps.  If there's already Lua support for
them, by all means, let's switch.


More information about the texdoc mailing list