Use release, not version, for HTML index

The full release string includes RELTAIL from patchlevel.h; it
is useful to know whether we are on a pre- or post-release branch.

ticket: 7433
tags: pullup

diff --git a/doc/index.rst b/doc/index.rst
index 157a5df00c4f51c96f02fd0d0aab7df33175cb9b..98b1f2e744c17cfb51c8bc328d8ab103f7f46249 100644 (file)
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -18,5 +18,5 @@ MIT Kerberos Documentation
 
 .. _reference:
 
-:Release: |version|
+:Release: |release|