clean up

.github/workflows/check_n_deploy.yml

@@ -1,4 +1,4 @@
-name: Build and Check for Changes
+name: Build and Deploy
 
 permissions:
   contents: write

md2respec.py

@@ -33,6 +33,8 @@ def convert_markdown_to_html(markdown_file, config):
         "title": post.get("title", "title not present"),
         "abstract": post.get("abstract", "abstract not present"),
         "sotd": post.get("sotd", "sotd not present"),
+        "shortName": post.get("shortName", "shortName not present"),
+        "editor": post.get("editor", "editor not present"),
     }
 
     # Convert Markdown to HTML

source/starknet/channel.md

@@ -2,6 +2,8 @@
 title: "Starknet Channel"
 abstract: "TKTK"
 sotd: "none"
+shortName: "starknet-channel"
+editor: "David Wong"
 ---
 
 ## Overview

source/starknet/fri.md

@@ -6,6 +6,8 @@ abstract: "<p>The <strong>Fast Reed-Solomon Interactive Oracle Proofs of Proximi
 
 <aside class=\"note\">Specifically, it matches the [integrity verifier](https://github.com/HerodotusDev/integrity/tree/main/src) which is a Cairo implementation of a Cairo verifier. There might be important differences with the Cairo verifier implemented in C++ or Solidity.</aside>"
 sotd: "none"
+shortName: "starknet-fri"
+editor: "David Wong"
 ---
 
 ## Overview

source/starknet/stark.md

@@ -2,6 +2,8 @@
 title: "Starknet STARK Verifier"
 abstract: "In this document we specify the STARK verifier used in Starknet."
 sotd: "none"
+shortName: "starknet-stark"
+editor: "David Wong"
 ---
 
 ## Overview

template.html

@@ -5,19 +5,6 @@
     <meta charset="utf-8" />
     <title>$title</title>
     <script src="https://www.w3.org/Tools/respec/respec-w3c" class="remove" defer></script>
-    <!-- <script>
-      MathJax = {
-        tex: {
-          inlineMath: [ 
-            ['\\(', '\\)'], 
-          ],
-          displayMath: [ 
-            ['\\[', '\\]']
-          ],
-        }
-      };
-    </script> 
-    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> -->
 
     <!-- syntax highlighting -->
     <script class='remove'>
@@ -70,12 +57,12 @@
             license: "cc0",
             editors: [
                 {
-                    name: "David Wong",
+                    name: "$editor",
                     url: "https://www.zksecurity.xyz",
                 },
             ],
             github: "zksecurity/RFCs",
-            shortName: "starknet-fri",
+            shortName: "$shortName",
         };
     </script>