Squashed 'third_party/ceres/' content from commit e51e9b4

Change-Id: I763587619d57e594d3fa158dc3a7fe0b89a1743b
git-subtree-dir: third_party/ceres
git-subtree-split: e51e9b46f6ca88ab8b2266d0e362771db6d98067
diff --git a/docs/source/CMakeLists.txt b/docs/source/CMakeLists.txt
new file mode 100644
index 0000000..70bf998
--- /dev/null
+++ b/docs/source/CMakeLists.txt
@@ -0,0 +1,19 @@
+find_package(Sphinx REQUIRED)
+
+# HTML output directory
+set(SPHINX_HTML_DIR "${Ceres_BINARY_DIR}/docs/html")
+
+# Install documentation
+install(DIRECTORY ${SPHINX_HTML_DIR}
+        DESTINATION "${CERES_DOCS_INSTALL_DIR}"
+        COMPONENT Doc
+        PATTERN "${SPHINX_HTML_DIR}/*")
+
+# Building using 'make_docs.py' python script
+add_custom_target(ceres_docs ALL
+                  python
+                  "${Ceres_SOURCE_DIR}/scripts/make_docs.py"
+                  "${Ceres_SOURCE_DIR}"
+                  "${Ceres_BINARY_DIR}/docs"
+                  "${SPHINX_EXECUTABLE}"
+                  COMMENT "Building HTML documentation with Sphinx")