From d471bcba7ed8503f00d9ddccf055d79365af3dcf Mon Sep 17 00:00:00 2001
From: Benjie Gillam <benjie@jemjie.com>
Date: Fri, 19 Jun 2026 16:40:01 +0100
Subject: [PATCH] Remove deprecated tools

---
 tools/gen-agenda.js | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 tools/gen-agenda.js

diff --git a/tools/gen-agenda.js b/tools/gen-agenda.js
deleted file mode 100755
index db6fbe20..00000000
--- a/tools/gen-agenda.js
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/usr/bin/env node
-console.error(
-  `\
-Please instead run:
-
-  yarn && yarn gen-agenda ${process.argv.slice(2).join(" ")}
-`
-);
-process.exit(1);