Remove spec and TypeScript definitions

The specification work has moved to whatwg/html#8502.

The TypeScript definitions have moved to DefinitelyTyped: https://github.com/DefinitelyTyped/DefinitelyTyped/blob/master/types/dom-navigation/index.d.ts.

.github/workflows/build.yml

@@ -11,9 +11,11 @@ jobs:
     name: Build
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - name: Build
-      run: make ci
+    - uses: actions/checkout@v3
+    - name: Assemble out/ directory
+      run: |
+        mkdir out
+        mv spec.html out/index.html
     - name: Deploy
       if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
       uses: peaceiris/actions-gh-pages@v3

CONTRIBUTING.md

@@ -4,15 +4,6 @@
 
 This repository is being used for work in the W3C [Web Platform Incubator Community Group](https://www.w3.org/community/wicg/) (WICG), governed by the [W3C Community License Agreement (CLA)](http://www.w3.org/community/about/agreements/cla/). To make substantive contributions, you must join the Community Group, thus signing the CLA.
 
-## Editing the specification
-
-Edits to the specification are done in the `spec.bs` file, which is then compiled with the [Bikeshed](https://tabatkins.github.io/bikeshed/) spec pre-processor.
-
-To build the specification, you can use one of:
-
-- `make local`: uses a locally-installed copy of Bikeshed
-- `make remote`: uses a Bikeshed web service, so you don't have to install anything locally
-
 ## For maintainers: identifying contributors to a pull request
 
 If the author is not the sole contributor to a pull request, please identify all contributors in the pull request comment.