Re: Quick way to recreate docs

[Phil Holmes]

----- Original Message ----- 
From: "Adam Spiers" <address@hidden>
To: "Graham Percival" <address@hidden>
Cc: "Phil Holmes" <address@hidden>; <address@hidden>
Sent: Friday, November 04, 2011 4:26 PM
Subject: Re: Quick way to recreate docs


On Fri, Aug 5, 2011 at 11:39 PM, Graham Percival
<address@hidden> wrote:
> Doesn't look too bad. If there was no (hidden) mechanism in the
> build system to do this, I'd be happy to adopt the script.

I only just found this thread, after a significant effort trying to
solve the same problem.  Did anyone push this script, or was there a
consensus about whether it should be pushed?


We decided that the "make" syntax served equally well, so I dropped it.

--
Phil Holmes