You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In this loop, if there are at least 2 directories that start with . and are adjacent in the dirnames list, then one of the is not skipped. This happens because the dirnames.remove(dirname) changes the list it is iterating on.
How to Reproduce
Just having two directories like .dotdir1 and .dotdir2 should trigger this problem.
Describe the bug
In this loop, if there are at least 2 directories that start with
.
and are adjacent in thedirnames
list, then one of the is not skipped. This happens because thedirnames.remove(dirname)
changes the list it is iterating on.How to Reproduce
Just having two directories like
.dotdir1
and.dotdir2
should trigger this problem.Environment Information
Sphinx extensions
No response
Additional context
No response
The text was updated successfully, but these errors were encountered: