From 7e984551f7ca2e883c5a58cd8dae71dba0db6240 Mon Sep 17 00:00:00 2001
From: Sebastien Douheret <sebastien.douheret@iot.bzh>
Date: Mon, 19 Jun 2017 15:48:58 +0200
Subject: Add gitbook documentation (support PDF generation).

To generate PDF doc:
     ./gendocs.sh pdf

To generate HTML doc (local webserver):
     ./gendocs.sh serve

Change-Id: Ib9b195814f4596a5cf5233d6a331d206e76c9bae
Signed-off-by: Sebastien Douheret <sebastien.douheret@iot.bzh>
---
 docs/_layouts/ebook/pdf_header.html | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 docs/_layouts/ebook/pdf_header.html

(limited to 'docs/_layouts/ebook/pdf_header.html')

diff --git a/docs/_layouts/ebook/pdf_header.html b/docs/_layouts/ebook/pdf_header.html
new file mode 100644
index 0000000..ef49641
--- /dev/null
+++ b/docs/_layouts/ebook/pdf_header.html
@@ -0,0 +1,13 @@
+{% extends "./page.html" %}
+{% block body %}
+<div id="pdf-header" class="pdf-header">
+    <span class="header-left">IoT.Bzh</span>
+    <span class="header-right">{{ config.title }}</span>
+</div>
+
+<!-- Allow to hide header for some pages using hidepageheaders config in book.json -->
+<script>
+    if (({% for num in config.hidepageheaders %}{{ page.num }} == {{ num }} || {% endfor %}false)) document.getElementById('pdf-header').style.display = 'none'
+</script>
+
+{% endblock %}
\ No newline at end of file
-- 
cgit 1.2.3-korg