Fix

2026-09-19 08:17:25 -05:00
parent e1410b0fdc
commit cee9f45b0c
28 changed files with 860 additions and 1234 deletions
@@ -0,0 +1,4 @@
+if(NOT EXISTS "${SOURCE}/catalogue.db")
+  message(FATAL_ERROR "Missing generated catalogue: ${SOURCE}/catalogue.db")
+endif()
+file(COPY "${SOURCE}/" DESTINATION "${DESTINATION}" PATTERN "*.json" EXCLUDE)