[meta] Handle non-bikeshed specs in build-specs.yml

Fixes #8824
w3c · May 10, 2023 · bdbe1db · bdbe1db
1 parent 8c4867d
commit bdbe1db
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/build-specs.yml b/.github/workflows/build-specs.yml
@@ -41,6 +41,11 @@ jobs:
  - name: Build specs
  run: |
  set -e
+ # Handle non-bikeshed specs.
+ for file in ./**/Overview.html; do
+ cp "$file" "$(dirname "$file")/index.html"
+ done
+ # Handle bikeshed specs.
  for file in ./**/Overview.bs; do
  # We use `date` to build a YYYY-MM-DD date rather than using git's
  # `--format=%as` because we want the date not to depend on the