From 6abfbc39874d1110c0920fcf08fc461c7ae21730 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@jermolene.com>
Date: Sat, 21 Sep 2024 13:31:07 +0100
Subject: [PATCH] Remove extraneous build of the dev edition

---
 bin/build-site.sh | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/bin/build-site.sh b/bin/build-site.sh
index aece60267..43ba7b9d7 100755
--- a/bin/build-site.sh
+++ b/bin/build-site.sh
@@ -164,20 +164,6 @@ node $TW5_BUILD_TIDDLYWIKI \
 	--rendertiddler $:/core/save/all tour.html text/plain \
 	|| exit 1
 
-# /dev/index.html			Developer docs
-# /dev/favicon.ico			Favicon for dev site
-# /dev/static.html			Static rendering of default tiddlers
-# /dev/alltiddlers.html		Static rendering of all tiddlers
-# /dev/static/*				Static single tiddlers
-# /dev/static/static.css	Static stylesheet
-node $TW5_BUILD_TIDDLYWIKI \
-	./editions/dev \
-	--verbose \
-	--load $TW5_BUILD_OUTPUT/build.tid \
-	--output $TW5_BUILD_OUTPUT/dev \
-	--build index favicon static \
-	|| exit 1
-
 # /share.html				Custom edition for sharing via the URL
 node $TW5_BUILD_TIDDLYWIKI \
 	./editions/share \