On Thu, Apr 30, 2015 at 9:33 PM, Caroline Tice <cmt...@google.com> wrote: > What is the correct way to regenerate doc/tm.texi?
I have just committed the fix. Uros.
On Thu, Apr 30, 2015 at 9:33 PM, Caroline Tice <cmt...@google.com> wrote: > What is the correct way to regenerate doc/tm.texi?
I have just committed the fix. Uros.