From 9bf2d345b847c28fce6be3c4a9a630b514ddc3c3 Mon Sep 17 00:00:00 2001 From: Daniel Vogelheim Date: Fri, 12 Dec 2025 16:00:05 +0100 Subject: [PATCH] Make geolocation-element.bs "official". Deprecate permission-elements.bs. --- .github/workflows/auto-publish.yml | 5 ----- README.md | 4 ++-- build.ninja | 3 +-- 3 files changed, 3 insertions(+), 9 deletions(-) diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml index 868981b..e4a0b5d 100644 --- a/.github/workflows/auto-publish.yml +++ b/.github/workflows/auto-publish.yml @@ -14,11 +14,6 @@ jobs: SOURCE: permission-element.bs TOOLCHAIN: bikeshed GH_PAGES_BRANCH: gh-pages - - uses: w3c/spec-prod@v2 - with: - SOURCE: permission-elements.bs - TOOLCHAIN: bikeshed - GH_PAGES_BRANCH: gh-pages - uses: w3c/spec-prod@v2 with: SOURCE: geolocation-element.bs diff --git a/README.md b/README.md index b61130a..f4b5d07 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ An HTML permission element for the [geolocation](https://www.w3.org/TR/geolocation/) feature: * [Explainer](geolocation_explainer.md) -* [Joined Permission Elements specification draft](https://wicg.github.io/PEPC/permission-elements.html) +* [Geolocation Element Specification Draft](https://wicg.github.io/PEPC/geolocation-element.html) # Page Embedded Permission Control (PEPC) @@ -19,5 +19,5 @@ The originally proposed permission element, for any [permission](https://www.w3.org/TR/permissions/) * [Explainer for PEPC](explainer.md) -* [Specification draft](https://wicg.github.io/PEPC/permission-element.html) +* [Permission Element Specification draft](https://wicg.github.io/PEPC/permission-element.html) (as of Sept 22, 2025) diff --git a/build.ninja b/build.ninja index 892d4c2..61ea86a 100644 --- a/build.ninja +++ b/build.ninja @@ -3,6 +3,5 @@ rule bikeshed description = bikeshed $in build permission-element.html: bikeshed permission-element.bs -build permission-elements.html: bikeshed permission-elements.bs build geolocation-element.html: bikeshed geolocation-element.bs -default permission-element.html permission-elements.html geolocation-element.html +default permission-element.html geolocation-element.html