#13661: User manual warnings -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm seeing these warnings when typesetting the user manual: {{{ /5playpen/simonpj/HEAD-4/docs/users_guide/8.2.1-notes.rst:422: WARNING: Bullet list ends without a blank line; unexpected unindent. /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Werror". /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Wwarn". /5playpen/simonpj/HEAD-4/docs/users_guide/8.2.1-notes.rst:422: WARNING: Bullet list ends without a blank line; unexpected unindent. /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Werror". /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Wwarn". /5playpen/simonpj/HEAD-4/docs/users_guide/profiling.rst:507: WARNING: Pygments lexer name u'json' is not known docs/users_guide/flags-warnings.gen.rst:166: WARNING: undefined label: deferred until runtime. see :ghc-flag: (if the link has no caption the label must precede a section header) docs/users_guide/all-flags.gen.rst:1644: WARNING: undefined label: deferred until runtime. see :ghc-flag: (if the link has no caption the label must precede a section header) /5playpen/simonpj/HEAD-4/docs/users_guide/glasgow_exts.rst:9373: WARNING: undefined label: implicit-quantification (if the link has no caption the label must precede a section header) }}} Could someone fix? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13661 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler