From cda7eb24f91daaa3b1f9e5999c3948b4f3cd3133 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 16 Jul 2020 22:05:49 -0400
Subject: Move markdown docs to docsrc/ and generate html in doc/

---
 docsrc/gen | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 docsrc/gen

(limited to 'docsrc/gen')

diff --git a/docsrc/gen b/docsrc/gen
new file mode 100755
index 00000000..8733a52f
--- /dev/null
+++ b/docsrc/gen
@@ -0,0 +1,3 @@
+#! /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