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: ++