From a1fa694addebdab846781dbf6c97a60e26133b2e Mon Sep 17 00:00:00 2001
From: Michael Droogleever <droogmic@gmail.com>
Date: Sun, 22 Jul 2018 01:26:23 +0200
Subject: [PATCH] fix mdbook versioning and index.hbs

---
 ci/install.sh       |  2 +-
 src/theme/index.hbs | 28 +++++++++++++++++++---------
 2 files changed, 20 insertions(+), 10 deletions(-)

diff --git a/ci/install.sh b/ci/install.sh
index 60790d9..9df00ea 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -5,7 +5,7 @@ main() {
         sh -s -- \
            --force \
            --git rust-lang-nursery/mdBook \
-           --tag v0.1.5 \
+           --tag v0.1.8 \
            --target x86_64-unknown-linux-musl
 
     rustup target add thumbv6m-none-eabi
diff --git a/src/theme/index.hbs b/src/theme/index.hbs
index 8ab46a2..7ecb0d6 100644
--- a/src/theme/index.hbs
+++ b/src/theme/index.hbs
@@ -18,7 +18,7 @@
         <link rel="shortcut icon" href="{{ favicon }}">
 
         <!-- Font Awesome -->
-        <link rel="stylesheet" href="_FontAwesome/css/font-awesome.css">
+        <link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
 
         <link rel="stylesheet" href="highlight.css">
         <link rel="stylesheet" href="tomorrow-night.css">
@@ -215,14 +215,6 @@
         </script>
         {{/if}}
 
-        {{#if is_print}}
-        <script type="text/javascript">
-            document.addEventListener('DOMContentLoaded', function() {
-                window.print();
-            })
-        </script>
-        {{/if}}
-
         {{#if playpen_js}}
         <script src="ace.js" type="text/javascript" charset="utf-8"></script>
         <script src="editor.js" type="text/javascript" charset="utf-8"></script>
@@ -249,5 +241,23 @@
         <script type="text/javascript" src="{{this}}"></script>
         {{/each}}
 
+        {{#if is_print}}
+        {{#if mathjax_support}}
+        <script type="text/javascript">
+        window.addEventListener('load', function() {
+            MathJax.Hub.Register.StartupHook('End', function() {
+                window.setTimeout(window.print, 100);
+            });
+        });
+        </script>
+        {{else}}
+        <script type="text/javascript">
+        window.addEventListener('load', function() {
+            window.setTimeout(window.print, 100);
+        });
+        </script>
+        {{/if}}
+        {{/if}}
+
     </body>
 </html>