Sphinx faliing

Simon Peyton Jones simonpj at microsoft.com
Mon Aug 20 16:39:20 UTC 2018


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 <ghc-devs at haskell.org>
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180820/a8b85c1d/attachment.html>


More information about the ghc-devs mailing list