From 373e545f551c8c1d12070e8de99284120b9c2580 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pedro=20J=2E=20Est=C3=A9banez?= Date: Thu, 19 Jan 2023 13:34:09 +0100 Subject: [PATCH] Let make_rst.py be forward compatible with 4.0's --- doc/tools/make_rst.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index 7c7a07ff53a..bf79a8dfbe2 100755 --- a/doc/tools/make_rst.py +++ b/doc/tools/make_rst.py @@ -345,6 +345,11 @@ def main(): # type: () -> None parser.add_argument("path", nargs="+", help="A path to an XML file or a directory containing XML files to parse.") parser.add_argument("--filter", default="", help="The filepath pattern for XML files to filter.") parser.add_argument("--lang", "-l", default="en", help="Language to use for section headings.") + parser.add_argument( + "--color", + action="store_true", + help="Ignored. Supported for forward compatibility.", + ) group = parser.add_mutually_exclusive_group() group.add_argument("--output", "-o", default=".", help="The directory to save output .rst files in.") group.add_argument(