2019-02-11 17:41:13 -05:00
|
|
|
<!-- Copyright 2018-2019 the Deno authors. All rights reserved. MIT license. -->
|
|
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>Deno Manual</title>
|
2019-03-01 02:59:26 -05:00
|
|
|
<link rel="shortcut icon" href="favicon.ico">
|
2019-02-15 11:15:44 -05:00
|
|
|
<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">
|
|
|
|
|
<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>
|
2019-02-11 17:41:13 -05:00
|
|
|
<link rel="stylesheet" href="style.css" />
|
|
|
|
|
<meta content="width=device-width, initial-scale=1.0" name="viewport" />
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<main>
|
2019-04-27 13:48:15 -04:00
|
|
|
<a href="/"><img src="images/deno_logo_2.gif" width=200></a>
|
2019-02-11 17:41:13 -05:00
|
|
|
<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();
|
|
|
|
|
|
2019-02-20 03:29:25 -05:00
|
|
|
let converter = new showdown.Converter({ extensions: ["toc"], tables: true });
|
2019-02-11 17:41:13 -05:00
|
|
|
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 });
|
|
|
|
|
}
|
2019-02-15 11:15:44 -05:00
|
|
|
|
2019-02-16 09:02:14 -05:00
|
|
|
// Disable automatic language detection
|
2019-02-15 11:15:44 -05:00
|
|
|
hljs.configure({
|
|
|
|
|
languages: [],
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
hljs.initHighlighting();
|
2019-02-11 17:41:13 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
main();
|
|
|
|
|
</script>
|
|
|
|
|
</main>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
