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 |