diff options
author | Tom Yu <tlyu@mit.edu> | 2012-10-17 18:12:52 -0400 |
---|---|---|
committer | Ben Kaduk <kaduk@mit.edu> | 2012-11-14 14:09:03 -0500 |
commit | 07c77b51d33c23d3ea28d588adc43b6c5ec5c20f (patch) | |
tree | 3b7cfe64a669b1bb62ba9a85a1f11c475591293f /doc/conf.py | |
parent | e89f6c6532787cf8e90ee80bdbb05e8abc13c565 (diff) | |
download | krb5-07c77b51d33c23d3ea28d588adc43b6c5ec5c20f.zip krb5-07c77b51d33c23d3ea28d588adc43b6c5ec5c20f.tar.gz krb5-07c77b51d33c23d3ea28d588adc43b6c5ec5c20f.tar.bz2 |
Generate and use version.py for Sphinx
Sphinx's idea of the version number appears in the man pages and
compiled PDF documents, and shows up as metadata in the generated
HTML sources.
Extract the version information from the master source (patchlevel.h)
into a form usable by Sphinx.
ticket: 7433
tags: pullup
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/doc/conf.py b/doc/conf.py index fb47f35..fafae15 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -47,11 +47,16 @@ copyright = u'2012, MIT' # The version info for the project you're documenting, acts as replacement for # |version| and |release|, also used in various other places throughout the # built documents. -# +execfile("version.py") # The short X.Y version. -version = '0.0.1' +r_list = [r_major, r_minor] +if r_patch: + r_list += [r_patch] +version = '.'.join(map(str, r_list)) # The full version, including alpha/beta/rc tags. -release = '0.0.1' +release = version +if r_tail: + release += '-' + r_tail # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. |