sphinx: Error: source directory and destination directory are same.
When building the Debian package, the build fails with
writing output... [100%] win32-dlls
generating indices... genindex
writing additional pages... search
copying images... [100%] images/prof_scc.svg
copying static files... done
copying extra files... done
dumping search index in English (code: en) ... done
dumping object inventory... done
build succeeded, 5 warnings.
/usr/bin/sphinx-build -b man -d docs/users_guide/.doctrees-man docs/users_guide docs/users_guide
Error: source directory and destination directory are same.
docs/users_guide/ghc.mk:30: recipe for target 'docs/users_guide/ghc.1' failed
make[3]: *** [docs/users_guide/ghc.1] Error 1
Makefile:122: recipe for target 'all' failed
make[2]: *** [all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
Full build log attached.
Any idea what might be causing this?
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1-rc1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Build System |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |