update make_schema.py to use version 7.1

numbas · Aug 15, 2023 · 72b0d83 · 72b0d83
1 parent 7be0b0e
commit 72b0d83
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/schema/index.html b/schema/index.html
@@ -8,19 +8,19 @@
     <link rel="stylesheet" href="schema_doc.css">
     <script src="schema_doc.js" defer></script>
 
-    <title>Numbas exam schema v7.0</title>
+    <title>Numbas exam schema v7.1</title>
 </head>
 <body id="root">
     <header>
-        <h1>Numbas exam schema v7.0</h2>
+        <h1>Numbas exam schema v7.1</h2>
     </header>
     <main>
         <div class="intro">
             <p><a href="https://www.numbas.org.uk">Numbas</a> <code>.exam</code> files are JSON objects, with an additional comment line at the start describing the version of the format used.</p>
             <p>The line for the current version should look like this:</p>
             <pre>// Numbas version: exam_results_page_options</pre>
             <p>The rest of the file should consist of a single JSON object, matching the following schema.</p>
-            <p><a href="exam_schema.7.0.json">Download the schema in JSON-Schema format</a></p>
+            <p><a href="exam_schema.7.1.json">Download the schema in JSON-Schema format</a></p>
         </div>
 
     <article class="schema open">

diff --git a/schema/make_schema.py b/schema/make_schema.py
@@ -1,7 +1,7 @@
 import json
 import jinja2
 
-version = '7.0'
+version = '7.1'
 
 with open(f'exam_schema.{version}.json') as f:
     schema = json.loads(f.read())