Move markdownlint config, allow **bold** headers

godot-rust · Apr 16, 2024 · 0b92d70 · 0b92d70
1 parent 6314c02
commit 0b92d70
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/other/.markdownlint.jsonc → config/.markdownlint.jsonc b/.github/other/.markdownlint.jsonc → config/.markdownlint.jsonc
@@ -57,6 +57,8 @@
     "hr-style": {
         "style": "---"
     },
+    // Allows **Header** instead of ## Header -- should not generally be used in the book, but is fine in select cases.
+    "no-emphasis-as-heading": false,
     // Indented vs ```-fenced.
     "code-block-style": {
         "style": "fenced"

diff --git a/lint.sh b/lint.sh
@@ -38,4 +38,4 @@ fi
 # do not quote $extra, it shouldn't be an argument if empty. 
 # do quote glob pattern, shell expands differently than tool itself.
 # keep in sync with CI arguments.
-markdownlint-cli2 --config .github/other/.markdownlint.jsonc ReadMe.md "src/**/*.md" $extra
+markdownlint-cli2 --config config/.markdownlint.jsonc ReadMe.md "src/**/*.md" $extra