Fixed doc build errors when using ninja

The generated search.html file needs special handling.
This commit is contained in:
David G Yu 2023-09-13 13:39:36 -07:00
parent 18f3b91c28
commit c6f5825a48

View File

@ -269,7 +269,10 @@ if (DOCUTILS_FOUND AND Python_Interpreter_FOUND)
-E copy "${infile}" "${outfile}"
)
# Exclude generated search.html
if (NOT ${src} STREQUAL "search.html")
add_custom_target( ${src} DEPENDS "${outfile}")
endif()
list(APPEND HTML_TARGETS ${src})