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 |