RE: Docs

22 Aug 2017

      sphinx-build --version
Sphinx v1.1.3

|  -----Original Message-----
|  From: Ben Gamari [mailto:ben@smart-cactus.org]
|  Sent: 22 August 2017 14:55
|  To: Simon Peyton Jones ; ghc-devs 
|  Subject: Re: Docs
|  
|  Simon Peyton Jones via ghc-devs  writes:
|  
|  > Ben et al
|  > I’m getting this on Linux when making documentation. I have not
|  > modified any of this documentation. Any ideas?
|  
|  Strangely I'm not able to reproduce any of these. Do these cause the build
|  to fail?
|  
|  What does sphinx-build --version say?
|  
|  Cheers,
|  
|  - Ben