From 031e08d1c7897fa1f373445ac2eaf41c7b57cc06 Mon Sep 17 00:00:00 2001
From: vladimirhasko <vladimirhasko@gmail.com>
Date: Sun, 29 Jan 2023 20:54:48 +0000
Subject: [PATCH] fixing the sync options

---
 tools/sync_doc_repo.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/sync_doc_repo.py b/tools/sync_doc_repo.py
index 1299cb3..46b3635 100644
--- 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.")