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

…utput file.
w3c · Feb 12, 2025 · f2bea95 · f2bea95
1 parent 07b92e2
commit f2bea95
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/auto-publish.yml b/.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 }}

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