[darcs-users] How to build the documentation

Trent W. Buck twb at cybersource.com.au
Fri Sep 11 02:08:56 UTC 2009

Miklos Vajna <vmiklos at frugalware.org> writes:

> On Thu, Sep 10, 2009 at 03:24:10PM +1000, "Trent W. Buck" <twb at cybersource.com.au> wrote:
>> Unfortunately there is no code to build the TeX manual at the moment;
>> it needs to be ported from the old autotools implementation to
>> Cabal's Setup.lhs.  Patches welcome!  I'm sorry that this happened,
>> but it was holding up the wider Cabal migration.
> Hmm, I just looked at the history and it seems that the "Remove
> autoconf support and cut GNUmakefile to only build manual and tags."
> patch by Petr Rockai makes it possible to build the documentation
> again.

Oops, you're right.  You can make the manual thusly:

    # Build darcs itself
    ghc --make Setup
    ./Setup configure
    ./Setup build

    # Make the manual.
    make -k html pdf

Thanks for correcting me!

More information about the darcs-users mailing list