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 /src/man | |
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 'src/man')
-rw-r--r-- | src/man/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/man/Makefile.in b/src/man/Makefile.in index 895b5c1ab6..19617eee20 100644 --- a/src/man/Makefile.in +++ b/src/man/Makefile.in @@ -24,7 +24,7 @@ docsrc=$(top_srcdir)/../doc # make -f Makefile.in clean # The sed command deletes some trailing whitespace that the docutils # manpage writer outputs near the end of its output files. -man: +man: $(docsrc)/version.py rm -rf rst_man $(SPHINX_BUILD) -q -t mansubs -b man $(docsrc) rst_man for f in rst_man/*.[0-9]; do \ @@ -32,6 +32,9 @@ man: sed -e '/^\.\\" $$/d' $$f > $(srcdir)/$$name.man; \ done +$(docsrc)/version.py: $(top_srcdir)/patchlevel.h + (cd $(BUILDTOP)/doc && make version.py) + .SUFFIXES: .man .sub .man.sub: |