diff options
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 |