Yes, blowing away the build tree and starting again sorted it.
Simon
From: Simon Peyton Jones
Sent: 20 August 2018 14:45
To: ghc-devs
Subject: Sphinx faliing
I have the following crash when building docs on Linux. This is on a clean, up-to-date HEAD build. Does anyone have any ideas?
The "full traceback" is here
# Sphinx version: 1.3.6
# Python version: 2.7.12 (CPython)
# Docutils version: 0.12 release
# Jinja2 version: 2.8
# Last messages:
# Running Sphinx v1.3.6
# loading pickled environment...
# not yet created
# building [mo]: targets for 0 po files that are out of date
# building [man]: all manpages
# updating environment:
# 40 added, 0 changed, 0 removed
# reading sources... [ 2%] 8.2.1-notes
# reading sources... [ 5%] 8.4.1-notes
# Loaded extensions:
# ghc_packages (1.0) from /5playpen/simonpj/HEAD-4/docs/users_guide/ghc_packages.pyc
# sphinx.ext.extlinks (1.3.6) from /usr/lib/python2.7/dist-packages/sphinx/ext/extlinks.pyc
# flags (1.0) from /5playpen/simonpj/HEAD-4/docs/users_guide/flags.pyc
# sphinx.ext.mathjax (1.3.6) from /usr/lib/python2.7/dist-packages/sphinx/ext/mathjax.pyc
# alabaster (0.7.7) from /usr/lib/python2.7/dist-packages/alabaster/__init__.pyc
Traceback (most recent call last):
File "/usr/lib/python2.7/dist-packages/sphinx/cmdline.py", line 244, in main
app.build(opts.force_all, filenames)
File "/usr/lib/python2.7/dist-packages/sphinx/application.py", line 267, in build
self.builder.build_update()
File "/usr/lib/python2.7/dist-packages/sphinx/builders/__init__.py", line 246, in build_update
self.build(['__all__'], to_build)
File "/usr/lib/python2.7/dist-packages/sphinx/builders/__init__.py", line 265, in build
self.doctreedir, self.app))
File "/usr/lib/python2.7/dist-packages/sphinx/environment.py", line 547, in update
self._read_serial(docnames, app)
File "/usr/lib/python2.7/dist-packages/sphinx/environment.py", line 567, in _read_serial
self.read_doc(docname, app)
File "/usr/lib/python2.7/dist-packages/sphinx/environment.py", line 716, in read_doc
encoding=self.config.source_encoding)
File "/usr/lib/python2.7/dist-packages/sphinx/io.py", line 104, in __init__
FileInput.__init__(self, *args, **kwds)
File "/usr/lib/python2.7/dist-packages/docutils/io.py", line 238, in __init__
raise InputError(error.errno, error.strerror, source_path)
InputError: [Errno 2] No such file or directory: u'/5playpen/simonpj/HEAD-4/docs/users_guide/8.4.1-notes.rst'
Simon
Running Sphinx v1.3.6
loading pickled environment... not yet created
building [mo]: targets for 0 po files that are out of date
building [man]: all manpages
updating environment: 40 added, 0 changed, 0 removed
reading sources... [ 2%] 8.2.1-notes
loading pickled environment... not yet created
building [mo]: targets for 0 po files that are out of date
building [html]: targets for 40 source files that are out of date
updating environment: 40 added, 0 changed, 0 removed
reading sources... [ 2%] 8.2.1-notes
reading sources... [ 5%] 8.4.1-notes
Exception occurred:
File "/usr/lib/python2.7/dist-packages/docutils/io.py", line 238, in __init__
raise InputError(error.errno, error.strerror, source_path)
InputError: [Errno 2] No such file or directory: u'/5playpen/simonpj/HEAD-4/docs/users_guide/8.4.1-notes.rst'
The full traceback has been saved in /tmp/sphinx-err-XYpRbc.log, if you want to report the issue to the developers.
Please also report this if it was a user error, so that a better error message can be provided next time.
A bug report can be filed in the tracker at https://github.com/sphinx-doc/sphinx/issues. Thanks!
docs/users_guide/ghc.mk:28: recipe for target 'docs/users_guide/build-man/ghc.1' failed
make[1]: *** [docs/users_guide/build-man/ghc.1] Error 1
make[1]: *** Waiting for unfinished jobs....
reading sources... [ 5%] 8.4.1-notes
Exception occurred:
File "/usr/lib/python2.7/dist-packages/docutils/io.py", line 238, in __init__
raise InputError(error.errno, error.strerror, source_path)
InputError: [Errno 2] No such file or directory: u'/5playpen/simonpj/HEAD-4/docs/users_guide/8.4.1-notes.rst'
The full traceback has been saved in /tmp/sphinx-err-2RrOTD.log, if you want to report the issue to the developers.
Please also report this if it was a user error, so that a better error message can be provided next time.
A bug report can be filed in the tracker at https://github.com/sphinx-doc/sphinx/issues. Thanks!
docs/users_guide/ghc.mk:16: recipe for target 'docs/users_guide/build-html/users_guide/index.html' failed
make[1]: *** [docs/users_guide/build-html/users_guide/index.html] Error 1
