diff options
Diffstat (limited to 'etc/generate-doc.sh')
| -rwxr-xr-x | etc/generate-doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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(" ")' \ |