diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 07:18:22 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 07:18:22 -0400 |
| commit | 5c4a7106dc47e2e1849eddf4d87fb0e107461d74 (patch) | |
| tree | 89c21dffbaeee21ab1701b9c58bdb405b832dc14 /docsrc/gen | |
| parent | e8b8e378d3fb3da0c492759ac74803b2fa417651 (diff) | |
Now I remember why I named it doc/ instead of docs/
Diffstat (limited to 'docsrc/gen')
| -rwxr-xr-x | docsrc/gen | 3 |
1 files changed, 0 insertions, 3 deletions
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 |