() [email protected] (Karl Berry) () Fri, 4 Mar 2011 01:06:58 GMT I'll see what I can do. Thanks for the report.
[...] makeinfo wouldn't be the right place for such an option, rather it'll be a new style directive in the language (if I can get it to work). Cool. I look forward to testing this.
