From c8d2cdccda3ce2e28557ecf91fefa3a33e2ab5df Mon Sep 17 00:00:00 2001
From: "David B. Kinder" <david.b.kinder@intel.com>
Date: Wed, 14 Mar 2018 12:23:22 -0700
Subject: [PATCH] doc: update project documentation LICENSE

Per Project ACRN governance, documentation is under a Creative Commons
Attribution 4.0 International License (CC BY 4.0).  This patch updates
this information, and adds a tagline to documentation mentioning this
license.

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
---
 doc/LICENSE                | 3 +++
 doc/Makefile               | 2 +-
 doc/_templates/footer.html | 8 ++++++++
 doc/static/acrn-custom.css | 5 +++++
 4 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 doc/LICENSE
 create mode 100644 doc/_templates/footer.html

diff --git a/doc/LICENSE b/doc/LICENSE
new file mode 100644
index 000000000..5c35d3446
--- /dev/null
+++ b/doc/LICENSE
@@ -0,0 +1,3 @@
+ARCN Project Documentation is under a Creative Commons Attribution 4.0
+International License (CC BY 4.0).  For details, see
+https://creativecommons.org/licenses/by/4.0/.
diff --git a/doc/Makefile b/doc/Makefile
index baf8db208..28576ae69 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -33,7 +33,7 @@ doxy: pullsource
 	$(Q)(cat acrn.doxyfile) | doxygen -  2>&1
 
 html: doxy
-	$(Q)$(SPHINXBUILD) -b html "$(SOURCEDIR)" "$(BUILDDIR)" "$(SPHINXOPTS)" $(O) > doc.log 2>&1
+	$(Q)$(SPHINXBUILD) -b html -d $(BUILDDIR)/doctrees $(SOURCEDIR) $(BUILDDIR)/html $(SPHINXOPTS) $(O) > doc.log 2>&1
 	$(Q)./scripts/filter-doc-log.sh doc.log
 
 
diff --git a/doc/_templates/footer.html b/doc/_templates/footer.html
new file mode 100644
index 000000000..f2db99c10
--- /dev/null
+++ b/doc/_templates/footer.html
@@ -0,0 +1,8 @@
+{% extends "!footer.html" %}
+{% block extrafooter %}
+    <p class="extrafooter">Documentation licensed under <a rel="license"
+    href="http://creativecommons.org/licenses/by/4.0/">(CC BY 4.0) <img
+    alt="Creative Commons License" style="border-width:0"
+    src="https://i.creativecommons.org/l/by/4.0/80x15.png" /></a></p>
+    {{ super() }}
+{% endblock %}
diff --git a/doc/static/acrn-custom.css b/doc/static/acrn-custom.css
index fc9f2774d..244f85a31 100644
--- a/doc/static/acrn-custom.css
+++ b/doc/static/acrn-custom.css
@@ -35,6 +35,11 @@ span.caption-number::after {
    content: ": ";
 }
 
+p.extrafooter {
+   text-align: right;
+   margin-top: -36px;
+}
+
 table.align-center {
    display: table !important;
 }