Add "feedback" button to the header in Sphinx HTML

diff --git a/doc/rst_source/_templates/layout.html b/doc/rst_source/_templates/layout.html
index b2a9222d2e8e9bd00acf530bce53e32ac8fda451..4584081931a3d844500e8dc1aa5bf5644c8d10a5 100644 (file)
--- 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>