User manual warnings
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?
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |