diff options
| author | Max Hilbrunner <m.hilbrunner@gmail.com> | 2022-01-24 10:30:07 +0100 |
|---|---|---|
| committer | Max Hilbrunner <m.hilbrunner@gmail.com> | 2022-01-24 10:30:07 +0100 |
| commit | 26da72eb4b37c70e4306524dd843ef21f692e455 (patch) | |
| tree | 26d9d3232ee3dff28f662f54125a69dd51ae07ae | |
| parent | 57a057f7ff031f4593d851e351bc63fda77be535 (diff) | |
Fix make_rst.py on Windows
| -rwxr-xr-x | doc/tools/make_rst.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index 9e18866ca3..68f3b66f43 100755 --- 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": |