Building of docs fails

[Anders Logg]

'make html' inside doc/sphinx fails with the following error message:

WARNING: master file /home/logg/scratch/src/ufl/test/doc/sphinx/source/index.rst not found
looking for now-outdated files... none found
pickling environment... done
checking consistency... /home/logg/scratch/src/ufl/test/doc/sphinx/source/user/user_manual.rst:: WARNING: document isn't included in any toctree
done
preparing documents... done
writing output... [ 11%] index
Exception occurred:
  File "/usr/local/lib/python2.7/dist-packages/Sphinx-1.0.7-py2.7.egg/sphinx/environment.py", line 1101, in get_doctree
    f = open(doctree_filename, 'rb')
IOError: [Errno 2] No such file or directory: '/home/logg/scratch/src/ufl/test/doc/sphinx/build/doctrees/index.doctree'
The full traceback has been saved in /tmp/sphinx-err-fUCQ9a.log, if you want to report the issue to the developers.

Don't know why this happens. It used to work. Another strange thing is I have a main 'index.rst' file in my 'work' UFL repo, but it's
missing in trunk.

[Marie Rognes (meg-simula)]

On 08/15/11 15:20, Anders Logg wrote:
> Public bug reported:
>
> 'make html' inside doc/sphinx fails with the following error message:
>
>
> WARNING: master file /home/logg/scratch/src/ufl/test/doc/sphinx/source/index.rst not found
> looking for now-outdated files... none found
> pickling environment... done
> checking consistency... /home/logg/scratch/src/ufl/test/doc/sphinx/source/user/user_manual.rst:: WARNING: document isn't included in any toctree
> done
> preparing documents... done
> writing output... [ 11%] index
> Exception occurred:
> File "/usr/local/lib/python2.7/dist-packages/Sphinx-1.0.7-py2.7.egg/sphinx/environment.py", line 1101, in get_doctree
> f = open(doctree_filename, 'rb')
> IOError: [Errno 2] No such file or directory: '/home/logg/scratch/src/ufl/test/doc/sphinx/build/doctrees/index.doctree'
> The full traceback has been saved in /tmp/sphinx-err-fUCQ9a.log, if you want to report the issue to the developers.
>
> Don't know why this happens. It used to work. Another strange thing is I have a main 'index.rst' file in my 'work' UFL repo, but it's
> missing in trunk.
>

Run

     ./scripts/makedoc

instead. In particular, it generates the index.rst

--
Marie

> ** Affects: ufl
> Importance: Undecided
> Status: New
>

[Anders Logg (logg)]

On Mon, Aug 15, 2011 at 01:29:20PM -0000, Marie Rognes wrote:
> On 08/15/11 15:20, Anders Logg wrote:
> > Public bug reported:
> >
> > 'make html' inside doc/sphinx fails with the following error message:
> >
> >
> > WARNING: master file /home/logg/scratch/src/ufl/test/doc/sphinx/source/index.rst not found
> > looking for now-outdated files... none found
> > pickling environment... done
> > checking consistency... /home/logg/scratch/src/ufl/test/doc/sphinx/source/user/user_manual.rst:: WARNING: document isn't included in any toctree
> > done
> > preparing documents... done
> > writing output... [ 11%] index
> > Exception occurred:
> > File "/usr/local/lib/python2.7/dist-packages/Sphinx-1.0.7-py2.7.egg/sphinx/environment.py", line 1101, in get_doctree
> > f = open(doctree_filename, 'rb')
> > IOError: [Errno 2] No such file or directory: '/home/logg/scratch/src/ufl/test/doc/sphinx/build/doctrees/index.doctree'
> > The full traceback has been saved in /tmp/sphinx-err-fUCQ9a.log, if you want to report the issue to the developers.
> >
> > Don't know why this happens. It used to work. Another strange thing is I have a main 'index.rst' file in my 'work' UFL repo, but it's
> > missing in trunk.
> >
>
> Run
>
> ./scripts/makedoc
>
> instead. In particular, it generates the index.rst

Aha! Thanks. Apparently, I have done that in the past but forgot about
it. :-)

--
Anders