mirror of
https://github.com/nextcloud/desktop.git
synced 2024-11-22 04:55:48 +03:00
Don't call make directly, it can have another name.
This commit is contained in:
parent
313832de8d
commit
2b652422b9
1 changed files with 1 additions and 1 deletions
|
@ -36,7 +36,7 @@ if(SPHINX_FOUND)
|
||||||
-D latex_logo=${LATEX_LOGO}
|
-D latex_logo=${LATEX_LOGO}
|
||||||
${CMAKE_CURRENT_SOURCE_DIR}
|
${CMAKE_CURRENT_SOURCE_DIR}
|
||||||
${SPHINX_PDF_DIR} )
|
${SPHINX_PDF_DIR} )
|
||||||
add_custom_target(doc-pdf make -C ${SPHINX_PDF_DIR} all-pdf
|
add_custom_target(doc-pdf $(MAKE) -C ${SPHINX_PDF_DIR} all-pdf
|
||||||
DEPENDS doc-latex )
|
DEPENDS doc-latex )
|
||||||
add_dependencies(doc doc-pdf)
|
add_dependencies(doc doc-pdf)
|
||||||
if (WITH_DOC)
|
if (WITH_DOC)
|
||||||
|
|
Loading…
Reference in a new issue