From cb400b2bcdf74377936743b23c1ad2e60946f5ea Mon Sep 17 00:00:00 2001
From: zimbatm <zimbatm@zimbatm.com>
Date: Sat, 1 Apr 2023 16:55:09 +0200
Subject: [PATCH] remove docs/serve.sh

Use `mkdocs serve` instead
---
 docs/serve.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 docs/serve.sh

diff --git a/docs/serve.sh b/docs/serve.sh
deleted file mode 100755
index 29d63a7..0000000
--- a/docs/serve.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-# Build and serve the docs for local development
-set -euo pipefail
-webfsd -d -r "$(nix-build "$(dirname "$0")/.." -A docs)"