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.tar.gz krb5-07c77b51d33c23d3ea28d588adc43b6c5ec5c20f.tar.xz krb5-07c77b51d33c23d3ea28d588adc43b6c5ec5c20f.zip |
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
diff --git a/.gitignore b/.gitignore index d1b4bbac63..36c4f1af9f 100644 --- a/.gitignore +++ b/.gitignore @@ -13,6 +13,8 @@ obj/ testdir/ testlog +/doc/version.py + /doc/html/ /src/config.log |