w3c / rdf-star-wg

RDF-star Working Group
Other
22 stars 8 forks source link

eliminate index entries for <a> RESPEC data-cites #60

Open pfps opened 1 year ago

pfps commented 1 year ago

RESPEC creates index entries for all data-cites even if the cite is to a section, as in Section 5. There should be a way to remove these index entries.

pfps commented 1 year ago

For example, https://w3c.github.io/sparql-entailment/spec/#index has an entry for "Table 5" coming from [OWL2-SYNTAX]. This is not a definition.