From 164108d0a9e6ac1ff68661a06b2309d0560b959d Mon Sep 17 00:00:00 2001
From: David Adam <zanchey@ucc.gu.uwa.edu.au>
Date: Sun, 21 Jan 2018 20:37:29 +0800
Subject: [PATCH] [cmake] mark manual as an optional component for install

---
 cmake/Install.cmake | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cmake/Install.cmake b/cmake/Install.cmake
index 395ddc34e..560c74569 100644
--- a/cmake/Install.cmake
+++ b/cmake/Install.cmake
@@ -183,8 +183,9 @@ INSTALL(FILES ${MANUALS} DESTINATION ${mandir}/man1/ OPTIONAL)
 #            $(INSTALL) -m 644 $$i $(DESTDIR)$(docdir); \
 #        fi; \
 #    done;
+# Building the manual is optional
 INSTALL(DIRECTORY user_doc/html/ # Trailing slash is important!
-        DESTINATION ${docdir})
+        DESTINATION ${docdir} OPTIONAL)
 INSTALL(FILES CHANGELOG.md DESTINATION ${docdir})
 
 # $v $(INSTALL) -m 644 share/lynx.lss $(DESTDIR)$(datadir)/fish/