commit a7fd5458f529d4d15ffa1d78fd2035c4f44c1003
parent 85b5a3745aaa121f48d4234e4a54ed0a6af007ea
Author: Michael Neuper <michael@michaelneuper.com>
Date: Sun, 25 Oct 2026 22:23:47 +0200
add 404 page
Diffstat:
2 files changed, 26 insertions(+), 0 deletions(-)
diff --git a/404.html b/404.html
@@ -0,0 +1,24 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>Not found</title>
+<link rel="icon" type="image/png" href="/favicon.png" />
+<link rel="stylesheet" type="text/css" href="/style.css" />
+</head>
+<body>
+<table>
+<tr><td><a href="/"><img src="/logo.png" alt="" width="32" height="32" /></a></td>
+<td><span class="desc">Not found</span></td></tr><tr><td></td><td>
+<span class="subtitle">There's no page at this address.</span>
+</td></tr>
+</table>
+<hr/>
+<div id="content">
+<p>Only the current version of each repository is published, so links to
+files that have since been moved or deleted end up here.</p>
+<p><a href="/">Back to the repositories</a></p>
+</div>
+</body>
+</html>
diff --git a/build.sh b/build.sh
@@ -30,6 +30,8 @@ mkdir -p "$work/repos"
rm -rf "$out"
mkdir -p "$out"
copyassets "$out"
+# Served by Netlify for any missing page, so its links are absolute.
+cp "$root/404.html" "$out/"
# One line per non-empty, public, non-fork repo: name, default branch,
# primary language and description, separated by the ASCII unit separator
