Skip to content

Commit

Permalink
2262: only generate manual files when they change
Browse files Browse the repository at this point in the history
  • Loading branch information
kduske committed Sep 18, 2019
1 parent dc9cb07 commit 4a432b4
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions app/cmake/GenerateManual.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -62,8 +62,7 @@ foreach(MANUAL_FILE ${DOC_MANUAL_SOURCE_FILES})
)
endforeach(MANUAL_FILE)

# Copy the images as well

# Collect images and copy them to the correct locations
file(GLOB DOC_MANUAL_SOURCE_IMAGE_FILES
"${DOC_MANUAL_IMAGES_SOURCE_DIR}/*.png"
"${DOC_MANUAL_IMAGES_SOURCE_DIR}/*.gif"
Expand All @@ -82,4 +81,4 @@ foreach(IMAGE_FILE ${DOC_MANUAL_SOURCE_IMAGE_FILES})
)
endforeach(IMAGE_FILE)

add_custom_target(GenerateManual DEPENDS ${DOC_MANUAL_TARGET_FILES} ${DOC_MANUAL_IMAGES_TARGET_FILES})
add_custom_target(GenerateManual DEPENDS ${DOC_MANUAL_SOURCE_FILES} ${DOC_MANUAL_SOURCE_IMAGE_FILES})

0 comments on commit 4a432b4

Please sign in to comment.