Re: make fails for staging branch

[Francisco Vila]

2011/12/23 David Kastrup <address@hidden>:
>> Anybody have ideas?  At first glance it seems like somebody used a
>> relative directory instead of doing it with $(top-src-dir).
>
> No idea.  But the symptom would suggest that
>
> commit 77cfd9e80a9792737a8630ba3c3ecfb359950f9d
> Author: Francisco Vila <address@hidden>
> Date:   Wed Dec 21 22:54:53 2011 +0100
>
>    Web: remove web/ in some pathnames.
>
> could be a likely candidate for backing out and retesting.  The other
> recent changes seem less probable.

Not unless you really think that changes in @verbatim, @example and
quoted strings in CG could make 'make' to break. Or do you?

My info line for the commit is wrong; it should say "CG...", not
"Web...".  Initial report came from the web and I fooled both. Sorry
for that.

-- 
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com