I’m getting tons of this stuff from the user manual type setting. Might someone fix it?

Simon

/5playpen/simonpj/HEAD-4/docs/users_guide/8.0.2-notes.rst:162: WARNING: Inline interpreted text or phrase reference start-string without end-string.

/5playpen/simonpj/HEAD-4/docs/users_guide/8.2.1-notes.rst:242: WARNING: Bullet list ends without a blank line; unexpected unindent.

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

invalid option block.

.. ghci-cmd:: :module [*] <file>

    Load a module

/5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:35: ERROR: Unexpected indentation.

/5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:41: WARNING: Block quote ends without a blank line; unexpected unindent.

/5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:58: ERROR: Unexpected indentation.

/5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:104: ERROR: Unexpected indentation.

/5playpen/simonpj/HEAD-4/docs/users_guide/ghci.rst:509: 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-4/docs/users_guide/ghci.rst:515: ERROR: Error in "hint" directive:

invalid option block.