fixing the sync command

2023-01-29 20:05:46 +00:00 · 2023-01-29 20:05:46 +00:00 · d5d68b0d01
commit d5d68b0d01
parent 906a426a48
1 changed files with 2 additions and 1 deletions
--- a/tools/sync_doc_repo.py
+++ b/tools/sync_doc_repo.py
@ -116,9 +116,10 @@ def process_repositories(args, service):
        sync(
            source_path,
            target_path,
+            'sync',
            purge=True,
            create=True,
-            exclude=['conf.py']
+            ignore=['conf.py']
        )
        repo_to.index.add([doc["rst_location"]])
        if len(repo_to.index.diff("HEAD")) == 0: