From 96842a89948c12292f7585826a15f4d2fd4a4c86 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Fri, 10 Nov 2023 08:30:48 +0100
Subject: [PATCH] Fix CI to build legacy exn spec

---
 .github/workflows/ci-spec.yml        | 24 ++++++++++++++++++++++++
 document/index.html                  |  1 +
 document/legacy/exceptions/Makefile  |  2 +-
 document/legacy/exceptions/conf.py   |  8 ++++----
 document/legacy/exceptions/index.rst |  2 --
 5 files changed, 30 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/ci-spec.yml b/.github/workflows/ci-spec.yml
index 354dfbd4..c212b29f 100644
--- a/.github/workflows/ci-spec.yml
+++ b/.github/workflows/ci-spec.yml
@@ -41,6 +41,25 @@ jobs:
           name: core-rendered
           path: document/core/_build/html
 
+  build-legacy-exceptions-spec:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v2
+        with:
+          submodules: "recursive"
+      - name: Setup TexLive
+        run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
+      - name: Setup Sphinx
+        run: pip install six && pip install sphinx==5.1.0
+      - name: Build main spec
+        run: cd document/legacy/exceptions && make main
+      - name: Upload artifact
+        uses: actions/upload-artifact@v2
+        with:
+          name: legacy-exceptions-rendered
+          path: document/core/_build/html
+
   build-js-api-spec:
     runs-on: ubuntu-latest
     steps:
@@ -84,6 +103,11 @@ jobs:
         with:
           name: core-rendered
           path: _output/core
+      - name: Download legacy exceptions spec artifact
+        uses: actions/download-artifact@v2
+        with:
+          name: legacy-exceptions-rendered
+          path: _output/core
       - name: Download JS API spec artifact
         uses: actions/download-artifact@v2
         with:
diff --git a/document/index.html b/document/index.html
index 79a2a0cf..848776fd 100644
--- a/document/index.html
+++ b/document/index.html
@@ -70,6 +70,7 @@ <h3>Legacy Extensions</h3>
     <li><p><b>Legacy Exception Handling</b>: defines additional instructions for exception handling that may still be available in some engines and tools, specifically web browsers.</p>
       <ul>
         <li><a href="legacy/exceptions/">Browser version</a></li>
+        <li><a href="legacy/exceptions/_download/WebAssembly.pdf">PDF version</a></li>
       </ul>
     </li>
   </ul>
diff --git a/document/legacy/exceptions/Makefile b/document/legacy/exceptions/Makefile
index 56b9560a..eb2611ac 100644
--- a/document/legacy/exceptions/Makefile
+++ b/document/legacy/exceptions/Makefile
@@ -8,7 +8,7 @@ PAPER         = a4
 BUILDDIR      = _build
 STATICDIR     = _static
 DOWNLOADDIR   = _download
-NAME          = WebAssembly
+NAME          = WebAssembly-Legacy-Exceptions
 
 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4
diff --git a/document/legacy/exceptions/conf.py b/document/legacy/exceptions/conf.py
index ebd159bd..bec9b1c5 100644
--- a/document/legacy/exceptions/conf.py
+++ b/document/legacy/exceptions/conf.py
@@ -57,8 +57,8 @@
 master_doc = 'index'
 
 # General information about the project.
-name = 'WebAssembly'
-project = u'WebAssembly'
+name = 'WebAssembly-Legacy-Exceptions'
+project = u'WebAssembly-Legacy-Exceptions'
 title = u'WebAssembly Specification Addendum: Legacy Exception Handling'
 copyright = u'2023, WebAssembly Community Group'
 author = u'WebAssembly Community Group'
@@ -76,7 +76,7 @@
 # built documents.
 #
 # The short X.Y version.
-version = u'0.1'
+version = u'1.0'
 # The full version, including alpha/beta/rc tags.
 release = version
 
@@ -174,7 +174,7 @@
 # The name for this set of Sphinx documents.
 # "<project> v<release> documentation" by default.
 #
-html_title = project + u' ' + release
+html_title = u'WebAssembly Legacy Exceptions'
 
 # A shorter title for the navigation bar.  Default is the same as html_title.
 #
diff --git a/document/legacy/exceptions/index.rst b/document/legacy/exceptions/index.rst
index b6428fb7..22b03d28 100644
--- a/document/legacy/exceptions/index.rst
+++ b/document/legacy/exceptions/index.rst
@@ -3,8 +3,6 @@ WebAssembly Specification Addendum: Legacy Exception Handling
 
 .. only:: html
 
-   | Release |release|
-
    | Editor: Andreas Rossberg
 
    | Latest Draft: |WasmDraft|