From 54de06389072c37c3cc3d8340e837b21befc14e6 Mon Sep 17 00:00:00 2001 From: Max Hilbrunner Date: Mon, 24 Jan 2022 10:28:22 +0100 Subject: [PATCH] [3.x] Fix make_rst.py on Windows --- doc/tools/make_rst.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index 703a8144260..6b9ea87cf71 100755 --- a/doc/tools/make_rst.py +++ b/doc/tools/make_rst.py @@ -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":