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.")