Re: Libraries in the repo

On Fri, Aug 28, 2009 at 10:06:36AM +0100, Simon Marlow wrote: > On 27/08/2009 11:25, José Pedro Magalhães wrote: >> Hello, >> >> On Wed, Aug 26, 2009 at 18:15, Simon Marlow > > wrote: >> >> >> * Boot libraries are of several kinds: >>- INDEPENDENT: Independe

Re: Libraries in the repo

2009/9/11 Ian Lynagh : > On Fri, Aug 28, 2009 at 10:06:36AM +0100, Simon Marlow wrote: >> On 27/08/2009 11:25, José Pedro Magalhães wrote: >>> Hello, >>> >>> On Wed, Aug 26, 2009 at 18:15, Simon Marlow >> > wrote: >>> >>> >>>       * Boot libraries are of several kinds: >

Re: Libraries in the repo

I don't think the current situation has worked well, due to people forgetting to push/send to the upstream repos, but if we use a prehook script to stop people accidentally breaking the rules then (1) is probably the best solution for the HEAD. For stable branches, in order to avoid releasing wit

Re: Build error in users guide in HEAD of today

On Thu, Aug 20, 2009 at 11:43:40PM +0200, "Philip K.F. Hölzenspies" wrote: > > latex failed Where is your latex from? I think I use tetex from cygwin, but I've seen build failures with another one (miktex, possibly). Thanks Ian ___ Glasgow-haskell-use