@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