Skip to content
Snippets Groups Projects
Commit 1b8cc748 authored by Stéphane Del Pino's avatar Stéphane Del Pino
Browse files

Merge branch 'feature/change-build-dependency' into 'develop'

Add dependency of userdoc-html to userdoc-pdf

See merge request !194
parents 65814a11 6512554e
No related branches found
No related tags found
1 merge request!194Add dependency of userdoc-html to userdoc-pdf
...@@ -99,16 +99,10 @@ if (EMACS AND GNUPLOT_FOUND AND GMSH) ...@@ -99,16 +99,10 @@ if (EMACS AND GNUPLOT_FOUND AND GMSH)
FILE_PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE FILE_PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE
@ONLY) @ONLY)
# set_source_files_properties(
# ${PUGS_BINARY_DIR}/build-pdf.sh2
# PROPERTIES
# GENERATED TRUE
# HEADER_FILE_ONLY TRUE
# )
add_custom_target(userdoc-pdf DEPENDS pugsdoc-dir "${PUGS_BINARY_DIR}/doc/userdoc.pdf" "${PUGS_BINARY_DIR}/doc/build-userdoc-pdf.sh") add_custom_target(userdoc-pdf DEPENDS pugsdoc-dir "${PUGS_BINARY_DIR}/doc/userdoc.pdf" "${PUGS_BINARY_DIR}/doc/build-userdoc-pdf.sh")
add_dependencies(userdoc userdoc-pdf) add_dependencies(userdoc userdoc-pdf)
add_dependencies(userdoc-html userdoc-pdf)
else() else()
if (NOT LATEX_PDFLATEX_FOUND) if (NOT LATEX_PDFLATEX_FOUND)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment