diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-01-21 13:27:26 +0100 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-01-21 13:27:26 +0100 |
commit | 95a9578ab7d3b5437c41372b41fe6db8983ae8bf (patch) | |
tree | 353c88d7be5598b1bd460d8bbf9f9d488c40f06b /doc/highlight.js/9.12.0/inc.html | |
parent | f33c190c8c66dd6017a1ac221a3238cd29f639e1 (diff) |
Distribute highlight.js with our documentation.
- For C code fragments, we use the highlight.js highlighter to apply
syntax highlighting. Previously, highlight.js was only used in
the FFI documentation, and was loaded from a CDN.
- We now distribute highlight.js with our documentation. This is
done in the 'doc' make target.
- This helps to protect the privacy of users viewing the
documentation.
- Unfortunately, highlighting no longer works when viewing the
documentation locally in a browser using the file:// scheme.
Diffstat (limited to 'doc/highlight.js/9.12.0/inc.html')
-rw-r--r-- | doc/highlight.js/9.12.0/inc.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/highlight.js/9.12.0/inc.html b/doc/highlight.js/9.12.0/inc.html new file mode 100644 index 00000000..57f506e9 --- /dev/null +++ b/doc/highlight.js/9.12.0/inc.html @@ -0,0 +1,3 @@ +<link rel="stylesheet" href="/highlight.js/9.12.0/default.min.css"> +<script src="/highlight.js/9.12.0/highlight.min.js"></script> +<script>hljs.initHighlightingOnLoad();</script> |