From 0b92d7098c02eb3db47a240608fdf6f8e013f6b3 Mon Sep 17 00:00:00 2001
From: Jan Haller <bromeon@gmail.com>
Date: Tue, 16 Apr 2024 22:38:12 +0200
Subject: [PATCH] Move markdownlint config, allow **bold** headers

---
 {.github/other => config}/.markdownlint.jsonc | 2 ++
 lint.sh                                       | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)
 rename {.github/other => config}/.markdownlint.jsonc (93%)

diff --git a/.github/other/.markdownlint.jsonc b/config/.markdownlint.jsonc
similarity index 93%
rename from .github/other/.markdownlint.jsonc
rename to config/.markdownlint.jsonc
index fcaa26f..e4ff8d9 100644
--- a/.github/other/.markdownlint.jsonc
+++ b/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
index 260167f..14e9316 100755
--- 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