fix mdbook versioning and index.hbs

This commit is contained in:
Michael Droogleever
2018-07-22 01:26:23 +02:00
parent 2fe5a7d5a8
commit a1fa694add
2 changed files with 20 additions and 10 deletions

View File

@@ -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

View File

@@ -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>