diff options
author | Jakob Odersky <jakob@odersky.com> | 2018-11-19 13:29:15 -0800 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-11-19 13:29:15 -0800 |
commit | 31ecae8b901060644175f39241c65a06b78b2a83 (patch) | |
tree | f01bd382c30905fa4be21dc72cc879aeafa72412 /404.html | |
parent | 14da66191f12755de633fe839aadd6bb2f09fd57 (diff) | |
download | website-31ecae8b901060644175f39241c65a06b78b2a83.tar.gz website-31ecae8b901060644175f39241c65a06b78b2a83.tar.bz2 website-31ecae8b901060644175f39241c65a06b78b2a83.zip |
Move to pandoc and makefile based publishing system
This drops the jekyll requirement to publish the website and instead
relies on pandoc to convert markdown to html and assemble pages.
Diffstat (limited to '404.html')
-rw-r--r-- | 404.html | 8 |
1 files changed, 3 insertions, 5 deletions
@@ -1,9 +1,7 @@ --- -layout: empty title: 404 - Not Found -permalink: /404.html --- <div class="text-center"> - <h1>404</h1> - <p>The requested page does not exist. Return to <a href="/">main site</a>.</p> -<div> + <h1>404</h1> + <p>The requested page does not exist.</p> +</div> |