diff options
Diffstat (limited to 'src/man/Makefile.in')
| -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: |