Bug#790526: gri bug on texinfo

2015-07-24 Thread Daniel Kelley
Thanks, Peter. I did a bit of work on this, namely 1. clean gri.texi as suggested 2. remove texinfo.tex as suggested (from “.” and from “./doc”) 3. update some dates and version in gri.texi and other files but unfortunately I cannot build anymore on OSX. I get as

Bug#790526: gri bug on texinfo

2015-07-24 Thread Peter S Galbraith
Hmm, can't seem to tickle that bug anymore... Works! There's a buglet in gri-mode with Emacs24 that I'd like to track down. Something changed with idle timers. Hopefully I'll find it quickly and that fix can go in a new versions as well. -- To UNSUBSCRIBE, email to

Bug#790526: gri bug on texinfo

2015-07-24 Thread Peter S Galbraith
Hi Dan, MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Hope you are well. I tracked down the bug that occurs while building gri.texi to two instances of an old texinfo.tex file bundled in gri that dates from 2009. Simply deleting the