Add favicon (support)

3 files changed, 12 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 5a649a3..86803b0 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,11 @@ DEV_SERVER_BINDING?=127.0.0.1:19310
 
 .PHONY: build/static publish dev-server
 
-all: $(HTMLTARGETS) $(STATICFILES) build/static
+all: $(HTMLTARGETS) $(STATICFILES) build/static build/favicon.ico
+
+build/favicon.ico: src/favicon.ico
+	cp src/favicon.ico build/
+
 
 build/static:
 	rsync -rupE src/static build/
diff --git a/dev-server.php b/dev-server.php
index 0577fdd..2e5aacb 100644
--- a/dev-server.php
+++ b/dev-server.php
@@ -32,6 +32,13 @@ elseif (str_ends_with($name, ".html")) {
     http_response_code(302);
     header("Location: /$name");
     exit;
+} elseif ($name === "favicon.ico" && is_file(SRCDIR . "/favicon.ico")) {
+    $path = SRCDIR . "/favicon.ico";
+    $len = filesize($path);
+    header("Content-Type: image/x-icon");
+    header("Content-Length: $len");
+    readfile($path);
+    exit;
 }
 
 $include_file = FALLBACK_FILE;
diff --git a/src/favicon.ico b/src/favicon.ico
new file mode 100644
index 0000000..65332b1
--- /dev/null
+++ b/src/favicon.ico