From 8eb78704d5377f1b5f1bdc16fdd5cdf15cd58d4f Mon Sep 17 00:00:00 2001
From: Gabriel Gonzalez <Gabriel439@gmail.com>
Date: Sun, 1 Dec 2019 08:20:43 -0800
Subject: [PATCH] Change website to link to `docs.dhall-lang.org` (#1576)

---
 dhall-try/index.html | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

diff --git a/dhall-try/index.html b/dhall-try/index.html
index afac7c8..2304d32 100644
--- a/dhall-try/index.html
+++ b/dhall-try/index.html
@@ -71,21 +71,21 @@
 
       <div class="collapse navbar-collapse" id="navbarSupportedContent">
         <ul class="navbar-nav ml-auto">
-          <li class="nav-item mr-3 my-auto"><a href="https://github.com/dhall-lang/dhall-lang/wiki/Getting-started%3A-Generate-JSON-or-YAML" class="btn btn-primary">Get started <i class="fas fa-running"></i></a></li>
+          <li class="nav-item mr-3 my-auto"><a href="https://docs.dhall-lang.org/tutorials/Getting-started_Generate-JSON-or-YAML.html" class="btn btn-primary">Get started <i class="fas fa-running"></i></a></li>
           <li class="nav-item dropdown">
             <a class="nav-link dropdown-toggle" href="#" id="discussionDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
               Discussion
             </a>
             <div class="dropdown-menu" aria-labelledby="discussionDropdown">
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Programmable-configuration-files">Programmable configuration files</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/discussions/Programmable-configuration-files.html">Programmable configuration files</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Core-language-features">Core language features</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/discussions/Core-language-features.html">Core language features</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees">Safety guarantees</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/discussions/Safety-guarantees.html">Safety guarantees</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-production">Dhall in production</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/discussions/Dhall-in-production.html">Dhall in production</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Design-choices">Design choices</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/discussions/Design-choices.html">Design choices</a>
             </div>
           </li>
           <li class="nav-item dropdown">
@@ -93,7 +93,7 @@
               Tutorial
             </a>
             <div class="dropdown-menu" aria-labelledby="tutorialDropdown">
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Getting-started%3A-Generate-JSON-or-YAML">Getting started: Generate JSON or YAML</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/tutorials/Getting-started_Generate-JSON-or-YAML.html">Getting started: Generate JSON or YAML</a>
               <div class="dropdown-divider"></div>
               <a class="nav-link" href="https://learnxinyminutes.com/docs/dhall/">Learn Dhall in Y minutes</a>
               <div class="dropdown-divider"></div>
@@ -105,17 +105,17 @@
               How-to guides
             </a>
             <div class="dropdown-menu" aria-labelledby="howtoDropdown">
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-integrate-Dhall">How to integrate Dhall</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html">How to integrate Dhall</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Cheatsheet">Cheatsheet</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/howtos/Cheatsheet.html">Cheatsheet</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Frequently-Asked-Questions-%28FAQ%29">Frequently Asked Questions (FAQ)</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/howtos/FAQ.html">Frequently Asked Questions (FAQ)</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-translate-recursive-code-to-Dhall">How to translate recursive code to Dhall</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-translate-recursive-code-to-Dhall.html">How to translate recursive code to Dhall</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-add-a-new-built-in-function">How to add a new built-in function</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-add-a-new-built-in-function.html">How to add a new built-in function</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-type-check-and-normalize-incomplete-code">How to type-check and normalize incomplete code</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-type-check-and-normalize-incomplete-code.html">How to type-check and normalize incomplete code</a>
             </div>
           </li>
           <li class="nav-item dropdown">
@@ -127,7 +127,7 @@
               <div class="dropdown-divider"></div>
               <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/blob/master/standard/README.md">Semantics</a>
               <div class="dropdown-divider"></div>
-              <a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Built-in-types%2C-functions%2C-and-operators">Built-in types, functions, and operators</a>
+              <a class="nav-link" href="https://docs.dhall-lang.org/references/Built-in-types.html">Built-in types, functions, and operators</a>
               <div class="dropdown-divider"></div>
               <a class="nav-link" href="https://prelude.dhall-lang.org/">Prelude</a>
             </div>
@@ -178,7 +178,7 @@
     </header>
     <div class="container">
     <p class="lead text-center">
-    Dhall is a <a href="https://github.com/dhall-lang/dhall-lang/wiki/Programmable-configuration-files">programmable configuration language</a>
+    Dhall is a <a href="https://docs.dhall-lang.org/discussions/Programmable-configuration-files.html#">programmable configuration language</a>
     that you can think of as: JSON + functions + types + imports
     </p>
     </div>
@@ -237,7 +237,7 @@
       <textarea rows="30" id="highlight0"></textarea>
       <p>… that you can read directly into several languages or convert to other file formats (including YAML or JSON).</p>
       <textarea rows="30" id="highlight1"></textarea>
-      <a href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-integrate-Dhall" class="btn btn-lg btn-outline-dark bg-light">Supported integrations <i class="fas fa-cogs" ></i></a>
+      <a href="https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html" class="btn btn-lg btn-outline-dark bg-light">Supported integrations <i class="fas fa-cogs" ></i></a>
     </div>
     <div class="container jumbotron" style="background-color: #cfebfb">
       <h1 class="display-4">Fearlessly refactor</h1>
@@ -268,7 +268,7 @@
       <p>The language aims to support safely importing and evaluating untrusted
       Dhall code, even code authored by malicious users.  We treat the inability
       to do so as a specification bug.</p>
-      <a href="https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees"class="btn btn-lg btn-outline-dark bg-light">Safety guarantees<i class="fas fa-shield-alt"></i></a>
+      <a href="https://docs.dhall-lang.org/discussions/Safety-guarantees.html"class="btn btn-lg btn-outline-dark bg-light">Safety guarantees<i class="fas fa-shield-alt"></i></a>
     </div>
     <div class="container jumbotron" style="background-color: #fbf3c8">
       <h1 class="display-4">Use programming language features</h1>
@@ -290,7 +290,7 @@
       </div>
       </div>
       </div>
-      <a href="https://github.com/dhall-lang/dhall-lang/wiki/Getting-started%3A-Generate-JSON-or-YAML" class="btn btn-lg btn-outline-dark bg-light">Get started <i class="fas fa-running"></i></a>
+      <a href="https://docs.dhall-lang.org/tutorials/Getting-started_Generate-JSON-or-YAML.html" class="btn btn-lg btn-outline-dark bg-light">Get started <i class="fas fa-running"></i></a>
     </div>
     <hr class="my-4">
     <p class="text-center">This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International License</a>.</p>