[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
scripts/auxiliar/makelsr.py
I've just done that, and will push once the build successfully
finishes.
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.
Cheers,
- Graham