Merge pull request #256 from jyasskin/spec-prod

Use the more common index.bs naming

Author: caribouW3

.github/workflows/auto-publish.yml

@@ -13,8 +13,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: w3c/spec-prod@v2
         with:
-          SOURCE: index.src.html
-          DESTINATION: index.html
+          SOURCE: index.bs
           TOOLCHAIN: bikeshed
           BUILD_FAIL_ON: warning
           W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}