diff --git a/generate-doc-index.sh b/generate-doc-index.sh new file mode 100755 index 00000000..21e9b504 --- /dev/null +++ b/generate-doc-index.sh @@ -0,0 +1,3 @@ +#!/bin/bash +# Work in progress, doesn't do anything useful yet +grep -r "^- \[" docs/api/scheme/*