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
krb5 · Nov 14, 2012 · 6353783 · 6353783
1 parent f06725b
commit 6353783
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/index.rst b/doc/index.rst
@@ -18,5 +18,5 @@ MIT Kerberos Documentation
 
 .. _reference:
 
-:Release: |version|
+:Release: |release|