Re: Can't typeset docs

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 ./configure. The latter generates docs/users_guide/ghc_config.py, which appears to be missing. Is the problem reproducible with a fresh validate? Cheers, - Ben