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.