Make sure building docs updates job.sums if needed

This commit is contained in:
Jay Berkenbilt 2022-05-02 09:53:27 -04:00
parent 6724a362c3
commit f07284da18
1 changed files with 3 additions and 0 deletions

View File

@ -87,6 +87,9 @@ if(BUILD_DOC)
elseif(BUILD_DOC_HTML)
add_dependencies(doc doc_singlehtml)
endif()
if(GENERATE_AUTO_JOB)
add_dependencies(doc auto_job_files)
endif()
if(BUILD_DOC_DIST)
set(DOC_DIST_HTML doc-dist/manual-html)