|
| From: | Werner LEMBERG |
| Subject: | Re: Snippet 706: Generating custom flags |
| Date: | Thu, 31 Dec 2015 15:25:08 +0100 (CET) |
> Now that they are more common and Karl is no longer the main driving
> force behind texinfo.tex, it might be worth bringing up the topic on
> the Texinfo mailing list again(?).
We are right now discussing this issue on bug-texinfo.
Werner
| [Prev in Thread] | Current Thread | [Next in Thread] |