Fix make_rst.py on Windows

2022-01-24 10:30:07 +01:00 · 2022-01-24 10:30:07 +01:00 · 26da72eb4b
commit 26da72eb4b
parent 57a057f7ff
1 changed files with 1 additions and 1 deletions
--- a/doc/tools/make_rst.py
+++ b/doc/tools/make_rst.py
@ -438,7 +438,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":