diff --git a/CMakeLists.txt b/CMakeLists.txt
index a94fc0e..4a5c8f2 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -262,6 +262,7 @@ if (ENABLE_DOCS)
     add_subdirectory (docs)
     add_subdirectory (man)
 endif()
+add_subdirectory (man)
 
 if (ENABLE_JYACAS)
     add_subdirectory (jyacas)
