diff options
Diffstat (limited to 'manual/CMakeLists.txt')
| -rw-r--r-- | manual/CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/CMakeLists.txt b/manual/CMakeLists.txt index eddb5dc8..91c30751 100644 --- a/manual/CMakeLists.txt +++ b/manual/CMakeLists.txt @@ -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) |