From 971f08c44e587f2fa6f499d06ac9b4cd130d8f02 Mon Sep 17 00:00:00 2001
From: Itamar Haber <itamar@redis.com>
Date: Thu, 30 Mar 2023 16:38:50 +0300
Subject: [PATCH] Adds command summary to the top of the man page

---
 layouts/commands/single.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/layouts/commands/single.html b/layouts/commands/single.html
index 7ada885..1fdaee4 100644
--- a/layouts/commands/single.html
+++ b/layouts/commands/single.html
@@ -8,13 +8,14 @@
     {{ partial "docs-nav.html" . }}
     <div class="w-full max-w-[47rem] py-12">
       {{ partial "breadcrumbs" . }}
-      <section class="prose prose-slate pt-10">
+      <section class="prose prose-slate pt-10" aria-describedby="summary">
         <h1 class="command-name">
           {{- .Title }}
           {{- if (isset .Params "deprecated_since") }}
           <span class="text-base">(deprecated)</span>
           {{- end }}
         </h1>
+        <p id="summary">{{- .Params.summary -}}</p>
         {{ if (isset .Params "deprecated_since") }}
           <div class="border-l-8 pl-4">
             <p>As of Redis version {{ .Params.deprecated_since }}, this command is regarded as deprecated.</p>