Use the more common index.bs naming, which also fixes the spec-prod o…

…utput file.
w3c · Sep 16, 2022 · c08226a · c08226a
1 parent 55b445a
commit c08226a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
@@ -13,7 +13,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: w3c/spec-prod@v2
         with:
-          SOURCE: index.src.html
+          SOURCE: index.bs
           TOOLCHAIN: bikeshed
           BUILD_FAIL_ON: warning
           W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}

diff --git a/index.src.html → index.bs b/index.src.html → index.bs