move documentation to docs repo

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