On Linux, always make clean before make html

NVIDIA · Apr 12, 2023 · 9118697 · 9118697
1 parent 1a7980a
commit 9118697
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build_docs.py b/build_docs.py
@@ -21,6 +21,7 @@
     if os.name == 'nt':
         subprocess.check_output("make.bat html", cwd="docs", shell=True)
     else:
+        subprocess.run("make clean", cwd="docs", shell=True)
         subprocess.check_output("make html", cwd="docs", shell=True)
 except subprocess.CalledProcessError as e:
     print(e.output.decode())