Ben et al

I’m getting this on Linux when making documentation.  I have not modified any of this documentation.  Any ideas?

Simon

reading sources... [ 97%] what_glasgow_exts_does

reading sources... [100%] win32-dlls

reading sources... [ 97%] what_glasgow_exts_does

reading sources... [100%] win32-dlls

/5playpen/simonpj/HEAD-1/docs/users_guide/editing-guide.rst:398: ERROR: Error in "ghci-cmd" directive:

invalid option block.

.. ghci-cmd:: :module; [*]⟨file⟩

    :noindex:

    Load a module

/5playpen/simonpj/HEAD-1/docs/users_guide/ghci.rst:496: ERROR: Error in "ghci-cmd" directive:

invalid option block.

.. ghci-cmd:: :{

              :}

    Begin or end a multi-line GHCi command block.

/5playpen/simonpj/HEAD-1/docs/users_guide/ghci.rst:527: ERROR: Error in "warning" directive:

invalid option block.

.. warning::

    Temporary bindings introduced at the prompt only last until the

    next :ghci-cmd:`:load` or :ghci-cmd:`:reload` command, at which time they

    will be simply lost. However, they do survive a change of context with

    :ghci-cmd:`:module`: the temporary bindings just move to the new location.

/5playpen/simonpj/HEAD-1/docs/users_guide/ghci.rst:533: ERROR: Error in "hint" directive:

invalid option block.