Allow an argument to gendocs to convert only specific files

1 files changed, 7 insertions, 1 deletions

diff --git a/gendocs b/gendocs
index 81eeae5d..812f3479 100755
--- a/gendocs
+++ b/gendocs
@@ -1,3 +1,9 @@
 #! /usr/bin/env bash
 
-for f in *.md */*.md; do g=${f/README/index}; ./dzref md.bqn "•←ConvertFile \"$f\"" > docs/${g%md}html; done
+# Generate HTML files from markdown ones
+# Argument gives specific files if present; otherwise convert everything
+for f in ${1-*.md */*.md} ${@:2:$#}
+do
+  g=${f/README/index}
+  ./dzref md.bqn "•←ConvertFile \"$f\"" > docs/${g%md}html
+done