Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Check and report duplicate references #10

Open
antoniogamiz opened this issue Aug 28, 2019 · 2 comments
Open

Check and report duplicate references #10

antoniogamiz opened this issue Aug 28, 2019 · 2 comments

Comments

@antoniogamiz
Copy link
Collaborator

This issue comes from Raku/doc#1912 and it's also present here.

@antoniogamiz antoniogamiz added the bug Something isn't working label Aug 28, 2019
@JJ JJ changed the title Duplicates references Check and report duplicate references Nov 24, 2019
@antoniogamiz
Copy link
Collaborator Author

Do we consider references with the same display text, duplicated? @JJ

@antoniogamiz
Copy link
Collaborator Author

After Raku/problem-solving#216, I think is a good idea to resolve this problem as follows:

  • Throw a warning for those references with the same name but different URI. These references are valid and point to different places, so the only problem is that they will appear "duplicated" in the search bar.
  • If two or more references are found with the same URI, then documentable will fail, listing all duplicated references found and where they are located.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant