fixing the sync options

2023-01-29 20:54:48 +00:00 · 2023-01-29 20:54:48 +00:00 · 031e08d1c7
commit 031e08d1c7
parent d5d68b0d01
1 changed files with 4 additions and 0 deletions
--- a/tools/sync_doc_repo.py
+++ b/tools/sync_doc_repo.py
@ -119,9 +119,13 @@ def process_repositories(args, service):
            'sync',
            purge=True,
            create=True,
+            content=True,
            ignore=['conf.py']
        )
        repo_to.index.add([doc["rst_location"]])
+
+        for obj in repo_to.index.diff(None).iter_change_type('D'):
+            repo_to.index.remove([obj.b_path])
        if len(repo_to.index.diff("HEAD")) == 0:
            # Nothing to commit
            logging.debug("No changes.")