Add rdci to package bin directory
Also: * add to the CI bin directory * when making a new manual PDF, don't overwrite the old one; instead, make a copy that can be used to manually replace the existing one, if desired. Change-Id: I9384e3627835a9c9983a55c23417a279a7b4d0f4
This commit is contained in:
1 parent
5f947270c1
commit
c35b0b8ec1
2 files changed
+10
-1
No files matched your search
@@ -181,7 +181,7 @@ if (DOXYGEN_FOUND AND LATEX_FOUND)
|
||||
add_custom_command(OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/latex/refman.pdf
|
||||
COMMAND make > /dev/null
|
||||
COMMAND cp ${CMAKE_CURRENT_BINARY_DIR}/latex/refman.pdf
|
||||
${PROJECT_SOURCE_DIR}/docs/${RDC_MANUAL_NAME}.pdf
|
||||
${PROJECT_SOURCE_DIR}/docs/${RDC_MANUAL_NAME}_new.pdf
|
||||
DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/latex/refman.tex
|
||||
WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/latex)
|
||||
|
||||
|
||||
Reference in new issue
Block a user