From 5c4a7106dc47e2e1849eddf4d87fb0e107461d74 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 17 Jul 2020 07:18:22 -0400
Subject: Now I remember why I named it doc/ instead of docs/

---
 docsrc/gen | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 docsrc/gen

(limited to 'docsrc/gen')

diff --git a/docsrc/gen b/docsrc/gen
deleted file mode 100755
index 8733a52f..00000000
--- a/docsrc/gen
+++ /dev/null
@@ -1,3 +0,0 @@
-#! /usr/bin/env bash
-
-for f in *.md; do ../spec/dzref md.bqn "•←ConvertFile \"$PWD/$f\"" > ../doc/${f%md}html; done
-- 
cgit v1.2.3