update:
    #!/usr/bin/env bash
    for file in *.bs; do
        specname="${file%.bs}"
        mkdir -p "../static/policies/${specname}/"
        bikeshed spec "${file}" "../static/policies/${specname}/index.html"
    done

