Make the Doxygen-build optional again

njhollinghurst · May 16, 2023 · 6f085b5 · 6f085b5
1 parent e504bf0
commit 6f085b5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/scripts/create_auto_ninjabuild.py b/scripts/create_auto_ninjabuild.py
@@ -61,8 +61,7 @@ def add_entire_directory(tab_dir, dir_path, pages_set, src_images, dest_images):
     adoc_includes_dir = sys.argv[6]
     assets_dir = sys.argv[7]
     doxygen_pico_sdk_build_dir = sys.argv[8]
-    if not os.path.exists(doxygen_pico_sdk_build_dir):
-        raise Exception("{} doesn't exist".format(doxygen_pico_sdk_build_dir))
+    build_doxygen = os.path.exists(doxygen_pico_sdk_build_dir)
     redirects_dir = sys.argv[9]
     images_dir = sys.argv[10]
     output_ninjabuild = sys.argv[11]
@@ -256,7 +255,8 @@ def add_entire_directory(tab_dir, dir_path, pages_set, src_images, dest_images):
         source = '$doxyfile'
         extra_sources = ['$scripts_dir/create_output_supplemental_data.py']
         ninja.build(dest, 'create_output_supplemental_data', source, extra_sources)
-        targets.append(dest)
+        if build_doxygen:
+            targets.append(dest)
         if targets:
             ninja.default(targets)
             targets = []