From 39e4a5e1d8438aac42d985dd0e3957c0a71dfc92 Mon Sep 17 00:00:00 2001 From: Justin Ethier Date: Thu, 29 Sep 2016 00:04:43 -0400 Subject: [PATCH] Initial file --- generate-doc-index.sh | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 generate-doc-index.sh 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/*