From 6806a3c90c6fd5c4e82e227f9d085e2c097e9a9f Mon Sep 17 00:00:00 2001
From: Bert Bos <bert@w3.org>
Date: Mon, 25 Nov 2024 23:04:12 +0100
Subject: [PATCH] Update auto-publish.yml

Is DESTINATION needed?
---
 .github/workflows/auto-publish.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
index 338a80e..728e840 100644
--- a/.github/workflows/auto-publish.yml
+++ b/.github/workflows/auto-publish.yml
@@ -17,5 +17,6 @@ jobs:
           GH_PAGES_BRANCH: gh-pages
           TOOLCHAIN: respec
           SOURCE: spec.html
+          DESTINATION: index.html
           VALIDATE_MARKUP: false