summaryrefslogtreecommitdiff
path: root/website/manual.html
diff options
context:
space:
mode:
Diffstat (limited to 'website/manual.html')
-rw-r--r--website/manual.html54
1 files changed, 0 insertions, 54 deletions
diff --git a/website/manual.html b/website/manual.html
deleted file mode 100644
index bc5624bfa..000000000
--- a/website/manual.html
+++ /dev/null
@@ -1,54 +0,0 @@
-<!-- Copyright 2018-2019 the Deno authors. All rights reserved. MIT license. -->
-<!DOCTYPE html>
-<html>
- <head>
- <title>Deno Manual</title>
- <link rel="shortcut icon" href="favicon.ico">
- <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/default.min.css">
- <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/github-gist.min.css">
- <link rel="stylesheet" media="(prefers-color-scheme: dark)" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/monokai-sublime.min.css">
- <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/highlight.min.js"></script>
- <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/languages/typescript.min.js"></script>
- <link rel="stylesheet" href="style.css" />
- <meta content="width=device-width, initial-scale=1.0" name="viewport" />
- </head>
- <body>
- <main>
- <a href="/"><img src="https://denolib.github.io/animated-deno-logo/deno-circle-thunder.gif" width=200></a>
- <div id="manual"></div>
-
- <script src="https://unpkg.com/showdown@1.9.0/dist/showdown.js"></script>
- <script src="showdown_toc.js"></script>
- <script>
- const url = "manual.md";
-
- async function main() {
- const response = await fetch(url);
- const content = await response.text();
-
- let converter = new showdown.Converter({ extensions: ["toc"], tables: true });
- let html = converter.makeHtml(content);
-
- const manual = document.getElementById("manual");
- manual.innerHTML = html;
-
- // To make anchor links work properly, we have to manually scroll
- // since the markdown is rendered dynamically.
- if (window.location.hash) {
- let el = document.getElementById(window.location.hash.slice(1));
- window.scrollTo({ top: el.offsetTop });
- }
-
- // Disable automatic language detection
- hljs.configure({
- languages: [],
- });
-
- hljs.initHighlighting();
- }
-
- main();
- </script>
- </main>
- </body>
-</html>