# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1456217623 -3600
# Node ID 6d1e0bb5b2bbdbea4ed5085b98020fc20cee026c
# Parent  695e236cd48b733a955cc7ac916227b9a9148590
Fix compilation

diff -r 695e236cd48b -r 6d1e0bb5b2bb CMakeLists.txt
--- a/CMakeLists.txt	Mon Feb 22 15:29:47 2016 +0100
+++ b/CMakeLists.txt	Tue Feb 23 09:53:43 2016 +0100
@@ -80,9 +80,9 @@
 	COMMAND ${CMAKE_COMMAND} -E make_directory ${OUTPUT}/js
 	COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_SOURCE_DIR}/css ${OUTPUT}/css
 	COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_SOURCE_DIR}/js ${OUTPUT}/js
-	COMMAND ${CMAKE_COMMAND} -E copy ${WITH_IRCCDDOCDIR}/guide.html ${OUTPUT}
-	COMMAND ${CMAKE_COMMAND} -E copy_directory ${WITH_IRCCDDOCDIR}/css ${OUTPUT}/css
-	COMMAND ${CMAKE_COMMAND} -E copy_directory ${WITH_IRCCDDOCDIR}/api ${OUTPUT}/api
-	COMMAND ${CMAKE_COMMAND} -E copy_directory ${WITH_IRCCDDOCDIR}/plugin ${OUTPUT}/plugin
+	COMMAND ${CMAKE_COMMAND} -E copy ${IRCCDDOCDIR}/guide.html ${OUTPUT}
+	COMMAND ${CMAKE_COMMAND} -E copy_directory ${IRCCDDOCDIR}/css ${OUTPUT}/css
+	COMMAND ${CMAKE_COMMAND} -E copy_directory ${IRCCDDOCDIR}/api ${OUTPUT}/api
+	COMMAND ${CMAKE_COMMAND} -E copy_directory ${IRCCDDOCDIR}/plugin ${OUTPUT}/plugin
 	DEPENDS files
 )
\ No newline at end of file