First attempt at auto-building in the repo.

Author: tabatkins

bin/configure-spec-data.py

@@ -0,0 +1,94 @@
+import os
+from os.path import join
+import re
+import hashlib
+import json
+
+from bikeshed.config import scriptPath as bikeshedScriptPath
+
+# This script changes the Bikeshed spec data to have any cross-references to
+# CSSWG specs linked to their mirror URL.
+
+ORIGINAL_BASE_URL = "https://drafts.csswg.org/"
+BASE_URL = "https://w3c.github.io/csswg-drafts/"
+
+spec_data_folder = bikeshedScriptPath("spec-data")
+
+changed_hashes = {}
+
+# We only need to change anchors, biblio and headings, as well as the
+# manifest.txt
+
+
+def generate_manifest_hash(text):
+    encoded = text.encode("ascii", "xmlcharrefreplace")
+    return hashlib.md5(encoded).hexdigest()
+
+
+def update_anchors_and_biblio(file):
+    changed = False
+    replacedText = ""
+    path = join(spec_data_folder, file)
+    with open(path, encoding="utf-8") as f:
+        for line in f:
+            if line.startswith(ORIGINAL_BASE_URL):
+                changed = True
+                line = BASE_URL + line[len(ORIGINAL_BASE_URL):]
+            replacedText += line
+    if changed:
+        with open(path, mode="w", encoding="utf-8") as f:
+            f.write(replacedText)
+        changed_hashes[file] = generate_manifest_hash(replacedText)
+
+
+def update_headings(file):
+    changed = False
+    path = join(spec_data_folder, file)
+    with open(path) as f:
+        headings_map = json.load(f)
+
+    for heading_id in headings_map.values():
+        if type(heading_id) != dict:
+            continue
+        for heading in heading_id.values():
+            if heading["url"].startswith(ORIGINAL_BASE_URL):
+                changed = True
+                heading["url"] = BASE_URL + \
+                    heading["url"][len(ORIGINAL_BASE_URL):]
+
+    if changed:
+        replacedText = json.dumps(
+            headings_map, ensure_ascii=False, indent=2, sort_keys=True)
+        with open(path, mode="w", encoding="utf-8") as f:
+            f.write(replacedText)
+        changed_hashes[file] = generate_manifest_hash(replacedText)
+
+
+def update_manifest():
+    if changed_hashes:
+        replacedText = ""
+        manifestFilename = join(spec_data_folder, "manifest.txt")
+        with open(manifestFilename, encoding="utf-8") as f:
+            for line in f:
+                match = re.match("([0-9a-f]{32}) (.*)\n", line)
+                if match:
+                    filename = match.group(2)
+                    if filename in changed_hashes:
+                        sha = changed_hashes[filename]
+                    else:
+                        sha = match.group(1)
+                    replacedText += "{} {}\n".format(sha, filename)
+                else:
+                    replacedText += line
+        with open(manifestFilename, mode="w", encoding="utf-8") as f:
+            f.write(replacedText)
+
+
+for folder in ["anchors", "biblio"]:
+    for file in os.listdir(join(spec_data_folder, folder)):
+        update_anchors_and_biblio(join(folder, file))
+
+for file in os.listdir(join(spec_data_folder, "headings")):
+    update_headings(join("headings", file))
+
+update_manifest()

workflows/build-specs.yml

@@ -0,0 +1,72 @@
+name: Spec Deployment
+on:
+  push:
+    branches: [ "main" ]
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow one concurrent deployment
+concurrency:
+  group: "pages"
+  cancel-in-progress: true
+
+jobs:
+  build-specs:
+    runs-on: ubuntu-latest
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    steps:
+      - uses: actions/checkout@v3
+
+      - uses: actions/setup-python@v4
+        with:
+          python-version: "3.10"
+          cache: 'pip'
+
+      - run: pip install bikeshed
+      - run: bikeshed update
+
+      # The following chunk of code all stolen from andeubotella
+      # Thanks, dude!
+      - name: Correct local links
+        run: python ./bin/configure-spec-data.py
+      - name: Compile
+        run: |
+          set -e
+          for file in ./**/*.bs; do
+            bikeshed -f spec "$file"
+          done
+      - name: Fix directory defaults
+        # The default pages for directories are assumed to be Overview.html, but
+        # that doesn't work for Github Pages. So we copy them as index.html.
+        run: |
+          set -e
+          for file in ./csswg-drafts/**/Overview.html; do
+            cp "$file" "$(dirname "$file")/index.html"
+          done
+
+        # The index code uses more dependencies,
+        # so I'll figure it out later.
+#      - name: Build index
+#        run: python ./bin/build-index.py
+      - run: rm -rf ./.git{,attributes,ignore}
+
+
+      - name: Setup Pages
+        uses: actions/configure-pages@v2
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          # Upload entire repository
+          path: '.'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1