From 145f46bea1e79615a251294638c26218c363c185 Mon Sep 17 00:00:00 2001
From: Michael Turner <mturner4350@gmail.com>
Date: Sun, 19 Mar 2017 11:33:50 +0000
Subject: [PATCH] fix

---
 docs/CMakeLists.txt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index 25a413884..c13b168ce 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -1,5 +1,8 @@
 ADD_SUBDIRECTORY(user-guide)
-ADD_SUBDIRECTORY(developer-guide)
+
+IF (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/developer-guide/CMakeLists.txt)
+    ADD_SUBDIRECTORY(developer-guide)
+ENDIF ()
 
 IF (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/tutorial/CMakeLists.txt)
     ADD_SUBDIRECTORY(tutorial)
-- 
GitLab