rename references

.github/workflows/ci.yml

@@ -56,16 +56,16 @@ jobs:
           mvn install -DskipTests=true -Dmaven.javadoc.skip=true -B -V
           mvn test -B
       - run: node --test
-  docs-lint:
+  demo-site-lint:
     if: |
       !cancelled() && !failure()
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies
-        working-directory: ./docs
+        working-directory: ./demo-site
         run: npm install
       - name: Lint
-        working-directory: ./docs
+        working-directory: ./demo-site
         run: npm run lint
 

.github/workflows/demo-build-and-deploy.yml

@@ -11,7 +11,7 @@ jobs:
     - name: Checkout 🛎️
       uses: actions/checkout@v4
     - name: Install and Build 🔧 
-      working-directory: ./docs
+      working-directory: ./demo-site
       run: |
         npm install
         npm run build
@@ -21,4 +21,4 @@ jobs:
       uses: JamesIves/github-pages-deploy-action@v4
       with:
         branch: gh-pages
-        folder: docs/public
+        folder: demo-site/public

.gitignore

@@ -18,4 +18,4 @@ cert.pem
 
 dist
 .vscode
-docs/public
+demo-site/public

demo-site/README.md

@@ -15,6 +15,6 @@ npm run build
 
 # Note on salvation.min.js
 
-This comes from [Salvation](https://github.com/shapesecurity/salvation). It is automatically generated at compile time using [TeaVM](https://teavm.org/docs/intro/getting-started.html). And needs to be manually copied to `docs/static/`.
+This comes from [Salvation](https://github.com/shapesecurity/salvation). It is automatically generated at compile time using [TeaVM](https://teavm.org/docs/intro/getting-started.html). And needs to be manually copied to `demo-site/static/`.
 
-To update the version of Salvation used in this demo website, follow the instructions provided in the README located at the root of this repo. Copy the generated file to `docs/static/`, then rename it to `salvation.min.js`.
+To update the version of Salvation used in this demo website, follow the instructions provided in the README located at the root of this repo. Copy the generated file to `demo-site/static/`, then rename it to `salvation.min.js`.