diff --git a/crlcore/CMakeLists.txt b/crlcore/CMakeLists.txt
index 6c7322f1..ebce9b77 100644
--- a/crlcore/CMakeLists.txt
+++ b/crlcore/CMakeLists.txt
@@ -26,7 +26,9 @@
  find_package(OPENACCESS)
  find_package(VLSISAPD REQUIRED)
  find_package(HURRICANE REQUIRED)
- include(UseLATEX)
+ if(BUILD_DOC)
+   include(UseLATEX)
+ endif(BUILD_DOC)
  
  add_subdirectory(src)
  add_subdirectory(etc)