Simon Peyton Jones via ghc-devs
On Linux I can't build the docs. Log below Simon
[snip]
processing users_guide.tex... index license intro 8.2.1-notes 8.4.1-notes ghci runghc usage using using-warnings using-optimisation Exception occurred: File "/usr/lib/python2.7/dist-packages/docutils/writers/__init__.py", line 77, in write self.translate() File "/usr/lib/python2.7/dist-packages/sphinx/writers/manpage.py", line 35, in translate self.document.walkabout(visitor) File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 165, in walkabout visitor.dispatch_visit(self) File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 1604, in dispatch_visit return method(node) File "/usr/lib/python2.7/dist-packages/sphinx/writers/manpage.py", line 345, in unknown_visit raise NotImplementedError('Unknown node: ' + node.__class__.__name__) NotImplementedError: Unknown node: inline
Hmm, it sounds like this might be a real version incompatibility. Perhaps we should have autoconf do a more strict version check of sphinx and disable BUILD_SPHINX_{PDF,HTML} if too old a version is found. Cheers, - Ben