diff --git a/doxygen/process_source_files.py b/doxygen/process_source_files.py
index 376c97db2b..d9862ff708 100644
--- a/doxygen/process_source_files.py
+++ b/doxygen/process_source_files.py
@@ -75,8 +75,10 @@ if __name__ == "__main__":
                              "subdirectories")
     args = parser.parse_args()
 
-    try: 
+    try:
         shutil.rmtree(args.dest_dir)
+    except OSError:
+        pass
     except FileNotFoundError:
         pass