deploy: fc71127

LolaLollipop · Nov 14, 2023 · 0d1fb89 · 0d1fb89
1 parent 24fcb78
commit 0d1fb89
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/manifest.json b/manifest.json
@@ -827,6 +827,9 @@
       "version": ""
     },
     {
+      "log_codes": [
+        "EmptyTocItemName"
+      ],
       "type": "Toc",
       "source_relative_path": "markdown/toc.yml",
       "output": {

diff --git a/markdown/toc.html b/markdown/toc.html
@@ -18,6 +18,12 @@
                 <li>
                     <a href="getting-started.html" name="" title="Getting Started">Getting Started</a>
                 </li>
+                <li>
+                    <a>HintBuilding Extensions</a>
+                </li>
+                <li>
+                    <a href="hintbuilding.html" name="" title=""></a>
+                </li>
                 <li>
                     <a href="eMec.html" name="" title="eMEC Guide">eMEC Guide</a>
                 </li>

diff --git a/markdown/toc.json b/markdown/toc.json
@@ -1,2 +1,2 @@
 
-{"items":[{"name":"Introduction","href":"introduction.html","topicHref":"introduction.html"},{"name":"Getting Started","href":"getting-started.html","topicHref":"getting-started.html"},{"name":"eMEC Guide","href":"eMec.html","topicHref":"eMec.html"}],"pdf":false}
+{"items":[{"name":"Introduction","href":"introduction.html","topicHref":"introduction.html"},{"name":"Getting Started","href":"getting-started.html","topicHref":"getting-started.html"},{"name":"HintBuilding Extensions"},{"href":"hintbuilding.html","topicHref":"hintbuilding.html"},{"name":"eMEC Guide","href":"eMec.html","topicHref":"eMec.html"}],"pdf":false}