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