From 470f2f8bdc8d51ddd6380c2293d4663099efef57 Mon Sep 17 00:00:00 2001 From: Daniel Vogelheim Date: Fri, 12 Dec 2025 16:00:05 +0100 Subject: [PATCH] Setup geolocation-element.bs. - Empty geolocation-element.bs - Add to build file, ignore, and Github workflow. --- .github/workflows/auto-publish.yml | 5 +++++ .gitignore | 1 + build.ninja | 3 ++- geolocation-element.bs | 7 +++++++ 4 files changed, 15 insertions(+), 1 deletion(-) create mode 100644 geolocation-element.bs diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml index beb1fe0..dcfc9fb 100644 --- a/.github/workflows/auto-publish.yml +++ b/.github/workflows/auto-publish.yml @@ -19,6 +19,11 @@ jobs: SOURCE: permission-elements.bs TOOLCHAIN: bikeshed GH_PAGES_BRANCH: gh-pages + - uses: w3c/spec-prod@v2 + with: + SOURCE: geolocation-element.bs + TOOLCHAIN: bikeshed + GH_PAGES_BRANCH: gh-pages copy_demo: name: Copy demo page to gh-pages runs-on: ubuntu-latest diff --git a/.gitignore b/.gitignore index 91074f6..c53b91b 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ .ninja_log.last_upload permission-element.html permission-elements.html +geolocation-element.html diff --git a/build.ninja b/build.ninja index 2ad7a21..892d4c2 100644 --- a/build.ninja +++ b/build.ninja @@ -4,4 +4,5 @@ rule bikeshed build permission-element.html: bikeshed permission-element.bs build permission-elements.html: bikeshed permission-elements.bs -default permission-elements.html +build geolocation-element.html: bikeshed geolocation-element.bs +default permission-element.html permission-elements.html geolocation-element.html diff --git a/geolocation-element.bs b/geolocation-element.bs new file mode 100644 index 0000000..6426075 --- /dev/null +++ b/geolocation-element.bs @@ -0,0 +1,7 @@ +
+Title: The HTML Geolocation Element
+Status: DREAM
+Shortname: geolocation-element
+Abstract:
+
+