Setup geolocation-element.bs. (#84)

otherdaniel · web-flow · commit d1eb5eed45a0 · 2026-01-13T17:49:30.000+01:00
- Empty geolocation-element.bs
- Add to build file, ignore, and Github workflow.
diff --git 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
@@ -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
@@ -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
@@ -0,0 +1,7 @@
+<pre class="metadata">
+Title: The HTML Geolocation Element
+Status: DREAM
+Shortname: geolocation-element
+Abstract:
+</pre>
+
