forked from commercialhaskell/stack
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This allows us to use '.md' extensions in links (commercialhaskell#1506), and the formatting is a bit nicer and closer to how GitHub renders. WIP WIP WIP WIP
- Loading branch information
Showing
38 changed files
with
456 additions
and
391 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -19,4 +19,4 @@ tags | |
| /*.iml | ||
| /src/highlight.js | ||
| /src/style.css | ||
| /doc/_build | ||
| /_site/ | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=CONTRIBUTING/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "CONTRIBUTING/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="CONTRIBUTING/'>link to CONTRIBUTING/</a>. | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=ChangeLog/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "ChangeLog/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="ChangeLog/'>link to ChangeLog/</a>. | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=GUIDE/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "GUIDE/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="GUIDE/'>link to GUIDE/</a>. | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=MAINTAINER_GUIDE/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "MAINTAINER_GUIDE/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="MAINTAINER_GUIDE/'>link to MAINTAINER_GUIDE/</a>. | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=README/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "README/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="README/'>link to README/</a>. | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=SIGNING_KEY/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "SIGNING_KEY/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="SIGNING_KEY/'>link to SIGNING_KEY/</a>. | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=architecture/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "architecture/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="architecture/'>link to architecture/</a>. | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs. | ||
| This is more properly done using an HTTP redirect, but unfortunately | ||
| readthedocs.org's page redirection is broken (see | ||
| https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed, | ||
| this file, and its reference in mkdocs.yml, can be removed. --> | ||
| <html lang="en-US"> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta http-equiv="refresh" content="1;url=build_command/"> | ||
| <script type="text/javascript"> | ||
| window.location.href = "build_command/" + window.location.hash | ||
| </script> | ||
| <title>Page Redirection</title> | ||
| </head> | ||
| <body> | ||
| If you are not redirected automatically, follow the <a href="build_command/'>link to build_command/</a>. | ||
| </body> | ||
| </html> |
Oops, something went wrong.