Merge pull request #57113 from mhilbrunner/docs-fixes

This commit is contained in:
Rémi Verschelde 2022-01-24 11:40:57 +01:00 committed by GitHub
commit 49df809ca4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -373,7 +373,7 @@ def main(): # type: () -> None
for path in args.path:
# Cut off trailing slashes so os.path.basename doesn't choke.
if path.endswith(os.sep):
if path.endswith("/") or path.endswith("\\"):
path = path[:-1]
if os.path.basename(path) == "modules":