[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Make doc fails

From: Graham Percival
Subject: Re: Make doc fails
Date: Sun, 28 Aug 2011 03:19:00 +0100
User-agent: Mutt/1.5.20 (2009-06-14)

On Sat, Aug 27, 2011 at 05:14:00PM +0100, Phil Holmes wrote:
> This afternoon I've done a fresh pull, make and make doc.  Make doc
> failed with this:

Indeed.  It needed to run
I've just done that, and will push once the build successfully

I noticed a bunch of changes concerning @code{#foo}.  I imagine
that this commit is reverting some changes that Werner made.  If
anybody wants to look into this, go ahead.  I am more concerned
with keeping git master in a compilable state.

- Graham

reply via email to

[Prev in Thread] Current Thread [Next in Thread]