From 1e48e8c0fd80c331666363799085a50f905c48da Mon Sep 17 00:00:00 2001
From: Oliver Reiche <oliver.reiche@huawei.com>
Date: Fri, 27 Jan 2023 11:17:43 +0100
Subject: Update documentation

---
 etc/generate-doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/generate-doc.sh')

diff --git a/etc/generate-doc.sh b/etc/generate-doc.sh
index 96bf251..3edfeb7 100755
--- a/etc/generate-doc.sh
+++ b/etc/generate-doc.sh
@@ -28,7 +28,7 @@ doc2md() {
   local DOC="$(echo "$RULE_DOC" | jq -r '.doc')"
   local FIELD_DOC="$(echo "$RULE_DOC" | jq -r '.field_doc')"
 
-  echo "## Rule \`[\"$MODULE\", \"$RULE\"]\`"
+  echo "### Rule \`[\"$MODULE\", \"$RULE\"]\`"
   echo
   echo "$DOC" \
     | jq -r '[.[] as $v | if ($v == "") then "\n\n" else $v end] | join(" ")' \
-- 
cgit v1.2.3