Fix arg names for --hist-lines-dir and --manifests-dir

2025-10-14 13:32:56 +00:00 · 2023-11-19 13:34:18 +01:00
parent d8c60bc42c
commit 69e5b1d5c2
6 changed files with 51 additions and 51 deletions
--- a/tagging/update_wiki.py
+++ b/tagging/update_wiki.py
@@ -103,13 +103,13 @@ if __name__ == "__main__":
        help="Directory of the wiki repo",
    )
    arg_parser.add_argument(
-        "--hist-line-dir",
+        "--hist-lines-dir",
        required=True,
        type=Path,
        help="Directory with history lines",
    )
    arg_parser.add_argument(
-        "--manifest-dir",
+        "--manifests-dir",
        required=True,
        type=Path,
        help="Directory with manifest files",