Simon Peyton Jones via ghc-devs writes:
> | > When I have
> | >
> | > BUILD_SPHINX_HTML= YES
> | >
> | > BUILD_SPHINX_PDF = YES
> | > I get this error in my build. Any ideas? I think Sphinx is up to
> | date.
> | > Thanks
> | > Simon
> | >
> | I suspect the cause here
make[1]: *** [docs/users_guide/users_guide.pdf] Error 1
make[1]: *** Waiting for unfinished jobs
Makefile:122: recipe for target 'all' failed
make: *** [all] Error 2
simonpj@cam-05-unx:~/5builds/HEAD-3$
| -Original Message-
| From: Ben Gamari [mailto:b...@well-typed.com]
| S
Simon Peyton Jones via ghc-devs writes:
> When I have
>
> BUILD_SPHINX_HTML= YES
>
> BUILD_SPHINX_PDF = YES
> I get this error in my build. Any ideas? I think Sphinx is up to date.
> Thanks
> Simon
>
I suspect the cause here is the --no-clean, which doesn't run ./boot and
./confi
