diff --git a/examples/generate_html.sh b/examples/generate_html.sh deleted file mode 100755 index ec07322e2..000000000 --- a/examples/generate_html.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -for example in $(ls *.rs) -do - docco $example -o html -done