From 180da005f4d8cf78121dfe765c47de060006e005 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 29 Aug 2019 13:34:07 +0200
Subject: move documentation to docs repo

---
 doc/syntax.texi | 44 --------------------------------------------
 1 file changed, 44 deletions(-)
 delete mode 100644 doc/syntax.texi

(limited to 'doc/syntax.texi')

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
-- 
cgit v1.2.3