if(NOT EXISTS "${SOURCE}/catalog.db")
  message(FATAL_ERROR "Missing generated catalog: ${SOURCE}/catalog.db")
endif()
file(COPY "${SOURCE}/" DESTINATION "${DESTINATION}" PATTERN "*.json" EXCLUDE PATTERN "analysis" EXCLUDE PATTERN "print" EXCLUDE)