--- ./doc/CMakeLists.txt.orig	2013-09-26 11:13:19.000000000 +0200
+++ ./doc/CMakeLists.txt	2013-10-16 14:57:42.000000000 +0200
@@ -36,7 +36,7 @@
 				     -D latex_logo=${LATEX_LOGO}
 				     ${CMAKE_CURRENT_SOURCE_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 )
         add_dependencies(doc doc-pdf)
         if (WITH_DOC)
