diff options
Diffstat (limited to 'doc/syntax.texi')
-rw-r--r-- | doc/syntax.texi | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/doc/syntax.texi b/doc/syntax.texi deleted file mode 100644 index 8aca39d8d..000000000 --- a/doc/syntax.texi +++ /dev/null @@ -1,44 +0,0 @@ -@c Syntax highlighting for texinfo's HTML output - -@html -<script src="highlight.pack.js"></script> -<script> -var hls = []; -var syntaxAuto = true; -addEventListener("DOMContentLoaded", function() { - // Highlight blocks with fixed language - for (let x of hls) { - let next = x[0].nextElementSibling; - console.log("next", next); - let blocks = next.querySelectorAll("pre.example"); - for (let i = 0; i < blocks.length; i++) { - blocks[i].classList.add("language-" + x[1]); - hljs.highlightBlock(blocks[i]); - } - } - // auto-detect other blocks if not disabled - if (syntaxAuto) { - let blocks = document.querySelectorAll("pre.example"); - for (let i = 0; i < blocks.length; i++) { - hljs.highlightBlock(blocks[i]); - } - } -}); -</script> -@end html - -@macro setsyntax{lang} -@html -<script> -hls.push([document.currentScript, "\lang\"]); -</script> -@end html -@end macro - -@macro setsyntaxnoauto{} -@html -<script> -syntaxAuto = false; -</script> -@end html -@end macro |