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);