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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -13,6 +13,8 @@ obj/ testdir/ testlog +/doc/version.py + /doc/html/ /src/config.log |