From 17425f0c9d4e90f66d79338c44ce36c663b54966 Mon Sep 17 00:00:00 2001
From: Thomas Moulard <thomas.moulard@gmail.com>
Date: Fri, 29 Oct 2010 18:49:26 +0200
Subject: [PATCH] Add doc as root CMake subdirectory, do not always generate
 the man page.

---
 CMakeLists.txt     | 1 +
 cmake              | 2 +-
 doc/CMakeLists.txt | 4 +---
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ef1b305..964b0b1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -193,4 +193,5 @@ ENDIF(WIN32)
 ADD_SUBDIRECTORY(src)
 ADD_SUBDIRECTORY(include)
 ADD_SUBDIRECTORY(tools)
+ADD_SUBDIRECTORY(doc)
 ADD_SUBDIRECTORY(unitTesting)
diff --git a/cmake b/cmake
index ce8da4f..597d697 160000
--- a/cmake
+++ b/cmake
@@ -1 +1 @@
-Subproject commit ce8da4f4399e3bef0c3cd825083fa350e906c7c4
+Subproject commit 597d697c4ee6f9bd4254360d9efaea15e41de340
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index fccc5c8..24a7094 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -17,9 +17,7 @@ INCLUDE(../cmake/man.cmake)
 
 IF(UNIX)
   # Add `man' target.
-  ADD_CUSTOM_TARGET(
-    man ALL
-    DEPENDS dg-shell.1.gz dg-shell-plugin.1.gz)
+  ADD_CUSTOM_TARGET(man DEPENDS dg-shell.1.gz dg-shell-plugin.1.gz)
 
   # Man page generation.
   MANPAGE(dg-shell)
-- 
GitLab