commit b12b906c4d21c3949f0dce62c4c0d083c8edecf1
author Arnaud Gelas <arnaudgelas@gmail.com> Wed Aug 15 16:27:38 2012 +0200
committer Arnaud Gelas <arnaudgelas@gmail.com> Mon Aug 20 09:13:21 2012 +0200
tree f95f4e069d38fe3e9e04abcb92386ebdcadd250e
parent b9f15a59361c609ffc4a328aea9be3d265b5da81

Add one option to generate the PDF from CMake at build time

Make sure pygmentize is installed

Change-Id: I068ba45c33a8e96acc906a464b12d10d58b3e231

CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 29834d1..117e86b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -583,3 +583,15 @@
 
 ADD_SUBDIRECTORY(internal/ceres)
 ADD_SUBDIRECTORY(examples)
+
+OPTION(BUILD_DOCUMENTATION
+       "Build User's Guide (pdf)"
+       OFF)
+
+IF (${BUILD_DOCUMENTATION})
+  MESSAGE("-- Documentation building is enabled")
+
+  # Generate the User's Guide (pdf).
+  # The corresponding target is UserGuide, but is included in ALL.
+  ADD_SUBDIRECTORY(docs)
+ENDIF (${BUILD_DOCUMENTATION})