Skip to content

Labels multiply defined #45

Description

@fingolfin

Building the docs yields this:

#W There were LaTeX Warnings:
LaTeX Warning: Label `ElementsOfIncidenceStructure' multiply defined.


____________________
LaTeX Warning: Label `ElementsOfIncidenceStructure' multiply defined.


____________________
LaTeX Warning: Label `NrElementsOfIncidenceStructure' multiply defined.


____________________
LaTeX Warning: Label `Rank' multiply defined.

I've disabled "warnings as errors" for the manuals in f8cc82c

But this should ideally be fixed. For example:

$ git grep -n '"ElementsOfIncidenceStructure"' doc
doc/affine.xml:161:<Oper Name="ElementsOfIncidenceStructure" Arg="as, j"/>
doc/classicalpolarspaces.xml:568:<Oper Name="ElementsOfIncidenceStructure" Arg="ps, j"/>
doc/incidence_geometry.xml:269:<Oper Name="ElementsOfIncidenceStructure" Arg="inc, j"/>
doc/incidence_geometry.xml:270:<Oper Name="ElementsOfIncidenceStructure" Arg="inc, str"/>
doc/incidence_geometry.xml:290:<Oper Name="ElementsOfIncidenceStructure" Arg="inc"/>
doc/projectivespaces.xml:171:<Oper Name="ElementsOfIncidenceStructure" Arg="ps, j"/>

All (or all but one) of these should have a Label="..." attribute so that GAPDoc can differentiate them in the index.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions