From 981ea78c9e495aac60bd4c90c8518d6b41443eb6 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Thu, 21 Jun 2012 16:04:33 +0200 Subject: [PATCH 1/1] Use the right directory name. --- buildtools/Cmake/GenerateUserGuide.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/buildtools/Cmake/GenerateUserGuide.cmake b/buildtools/Cmake/GenerateUserGuide.cmake index 1367053643..50a44aa36e 100644 --- a/buildtools/Cmake/GenerateUserGuide.cmake +++ b/buildtools/Cmake/GenerateUserGuide.cmake @@ -31,7 +31,7 @@ if(FIG2DEV_PATH) ADD_CUSTOM_COMMAND(TARGET user_guide DEPENDS ${source_doxygen} - COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_HOME_DIRECTORY}/doc/logcategories.doc + COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_HOME_DIRECTORY}/doc/user_guide/logcategories.doc COMMAND ${CMAKE_HOME_DIRECTORY}/tools/doxygen/xbt_log_extract_hierarchy.pl > ${CMAKE_HOME_DIRECTORY}/doc/user_guide/doxygen/logcategories.doc WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY} ) -- 2.20.1