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.

Sign up for GitHub

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

Jump to bottom

Generate warning when toctree contains duplicate entries #8201

Closed
jd41 opened this issue Sep 12, 2020 · 2 comments
Closed

Generate warning when toctree contains duplicate entries #8201

jd41 opened this issue Sep 12, 2020 · 2 comments
Labels
internals:toctree type:enhancement enhance or introduce a new feature
Milestone
4.0.0

Comments

@jd41
Copy link

jd41 commented Sep 12, 2020

Is your feature request related to a problem? Please describe.
I am now fixing a problem of this sort, on the TOC on the left page of a Sphinx HTML documentation, a part of the documentation was referenced twice.

Describe the solution you'd like
It would be nice if this could have been caught by a warning. I guess it's not an exceptionally pressing issue though.
@jd41 jd41 added the type:enhancement enhance or introduce a new feature label Sep 12, 2020
tk0miya added a commit to tk0miya/sphinx that referenced this issue Sep 12, 2020
@tk0miya
Close sphinx-doc#8201: Emit a warning if toctree contains duplicated …
82a6229 
…entries
@tk0miya
Copy link
Member

tk0miya commented Sep 12, 2020

+1: Reasonable.

@tk0miya tk0miya added this to the 4.0.0 milestone Sep 12, 2020
@tk0miya tk0miya mentioned this issue Sep 12, 2020
Merged
tk0miya added a commit to tk0miya/sphinx that referenced this issue Sep 13, 2020
@tk0miya
Close sphinx-doc#8201: Emit a warning if toctree contains duplicated …
359290b 
…entries
tk0miya added a commit that referenced this issue Sep 20, 2020
@tk0miya
Merge pull request #8203 from tk0miya/8201_toctree_duplicated_entry
e207986 
Close #8201: Emit a warning if toctree contains duplicated entries
@jd41 jd41 mentioned this issue Nov 5, 2020
Closed
@tk0miya tk0miya closed this as completed Nov 5, 2020
@tk0miya
Copy link
Member

tk0miya commented Nov 5, 2020

I found this was already resolved by #8203 . Closing.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 18, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
internals:toctree type:enhancement enhance or introduce a new feature
Projects
None yet
Milestone
4.0.0
Development

No branches or pull requests
2 participants
@tk0miya @jd41