From 93f8179b3b97e70fbc303b3095a02af97ad41e52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 8 Jan 2016 20:54:04 +0000
Subject: [PATCH] docs should be optional for now

---
 CMakeLists.txt | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 99c505b55..7ed2f3c2e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -411,6 +411,14 @@ add_subDIRECTORY (packages/raptor)
 
 add_subDIRECTORY (packages/xml)
 
+# please install doxygen for prolog first
+# git clone http://www.github.com/vscosta/doxygen-yap
+# cd doxygen-yap
+# mkdir -p build
+# cd build
+# make; sudo make install
+option (WITH_DOCS
+  "generate YAP docs" OFF)
 add_subDIRECTORY (docs)
 
 # add_subDIRECTORY (packages/cuda)