Turn on linter and make its results visible

ralfhandl · Jul 10, 2024 · a8b04f6 · a8b04f6
1 parent 3f80313
commit a8b04f6
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/scripts/md2html/md2html.js b/scripts/md2html/md2html.js
@@ -57,7 +57,11 @@ function preface(title,options) {
         subtitle: 'Version '+options.subtitle,
         edDraftURI: "https://github.com/OAI/OpenAPI-Specification/",
         shortName: "OAS",
-        lint: false,
+        lint: {
+            a11y: true,
+            "local-refs-exist": true,
+            "no-unused-dfns": false ,
+        },
         logos:[{
             src: "https://raw.githubusercontent.com/OAI/OpenAPI-Style-Guide/master/graphics/bitmap/OpenAPI_Logo_Pantone.png",
             alt: "OpenAPI Initiative",
@@ -103,7 +107,7 @@ function preface(title,options) {
         catch (ex) {}
         preface += '</head><body>';
         preface += '<style>';
-        preface += '#respec-ui { visibility: hidden; }';
+        preface += '#respec-pill { visibility: hidden; }';
         preface += 'h1,h2,h3 { color: #629b34; }';
         preface += '.dt-published { color: #629b34; } .dt-published::before { content: "Published "; }';
         preface += 'a[href] { color: #45512c; }'; // third OAI colour is #8ad000