Update for Vulkan-Docs 1.2.144

2020-06-15 02:00:56 -07:00
parent 9d2dfca53b
commit f315245756
8 changed files with 955 additions and 899 deletions
--- a/registry/generator.py
+++ b/registry/generator.py
@@ -662,7 +662,8 @@ class OutputGenerator:
                directory = Path(self.genOpts.directory)
                if not Path.exists(directory):
                    os.makedirs(directory)
-            shutil.move(self.outFile.name, self.genOpts.directory + '/' + self.genOpts.filename)
+            shutil.copy(self.outFile.name, self.genOpts.directory + '/' + self.genOpts.filename)
+            os.remove(self.outFile.name)
        self.genOpts = None

    def beginFeature(self, interface, emit):