Re: PDF is broken for @notation{} encoding

[David Kastrup]

"Phil Holmes" <address@hidden> writes:

> ----- Original Message ----- 
> From: "David Kastrup" <address@hidden>
> To: "Phil Holmes" <address@hidden>
> Cc: "James Lowe" <address@hidden>; <address@hidden>
> Sent: Tuesday, May 26, 2015 11:57 AM
> Subject: Re: PDF is broken for @notation{} encoding
>> Huh.  Git bisect would have heeded the _topological_ order and would
>> have made it more likely you'd have found the correct commit.  There is
>> a git bisect command for reporting an untestable commit, namely "git
>> bisect skip".
>>
>> So my best guess is that the change I identified is the culprit here and
>> that your homegrown bisection did not produce the right commit.
>>
>> As you can see, the commit you identified is _chronologically_ just
>> above a commit in the other branch, but both branches have a long
>> separate history of commits by which they differ previous to that.
>>
>> -- 
>> David Kastrup
>
>
> Thanks.  I'd almost reached that conclusion based on my own look at
> git log --graph.  I'm starting a "proper" bisect now, rebuilding the
> binaries and docs from scratch for each step.  Should give the
> processor a decent work-out.  Catch you in a few hours...

Let's cut this short.  Test this patch first.  If it fixes the problem,
the bisection is pointless.

>From 9694bdb862095af43c5686f2214e3fb879d42359 Mon Sep 17 00:00:00 2001
From: David Kastrup <address@hidden>
Date: Tue, 26 May 2015 13:42:14 +0200
Subject: [PATCH] Fix spurious newline from upstream Texinfo

---
 tex/texinfo.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tex/texinfo.tex b/tex/texinfo.tex
index dead322..f231db8 100644
--- a/tex/texinfo.tex
+++ b/tex/texinfo.tex
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2015-04-30.19}
+\def\texinfoversion{2015-05-26.13}
 %
 % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -8956,7 +8956,6 @@ directory should work if nowhere else does.}
       \catcode\count255=#1\relax
       \advance\count255 by 1
    \repeat
-
 }
 
 % @documentencoding sets the definition of non-ASCII characters
-- 
2.1.4


-- 
David Kastrup