From 559cf00d60e9c9f071c927ea88c24aeedabff55c Mon Sep 17 00:00:00 2001
From: Zhanna Tsitkov <tsitkova@mit.edu>
Date: Fri, 3 Aug 2012 17:05:04 -0400
Subject: [PATCH] Add "feedback" button to the header in Sphinx HTML

---
 doc/rst_source/_templates/layout.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/rst_source/_templates/layout.html b/doc/rst_source/_templates/layout.html
index b2a9222d2e..4584081931 100644
--- a/doc/rst_source/_templates/layout.html
+++ b/doc/rst_source/_templates/layout.html
@@ -45,8 +45,9 @@
                     <a href="{{ pathto(rellink[0]) }}"
                     title="{{ rellink[1]|striptags }}"
                     {{ accesskey(rellink[2]) }}>{{ rellink[3] }}</a>
-                    {%- if not loop.last %}{{ reldelim2 }}{% endif %}
+                    {{ reldelim2 }}
                 {%- endfor %}
+                <a href="mailto:krb5-bugs@mit.edu?subject=Documentation__{{ title }}";>feedback</a>
             </div>
         </div>
     </div>
-- 
2.47.3