From 95a9578ab7d3b5437c41372b41fe6db8983ae8bf Mon Sep 17 00:00:00 2001 From: Justus Winter Date: Mon, 21 Jan 2019 13:27:26 +0100 Subject: 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. --- doc/highlight.js/9.12.0/inc.html | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 doc/highlight.js/9.12.0/inc.html (limited to 'doc/highlight.js/9.12.0/inc.html') 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 @@ + + + -- cgit v1.2.3