diff options
| author | Ben Kaduk <kaduk@mit.edu> | 2012-10-16 14:05:07 -0400 |
|---|---|---|
| committer | Ben Kaduk <kaduk@mit.edu> | 2012-10-16 17:08:07 -0400 |
| commit | 0f81e372a2830c9170f6e08dfa956841d0ebdfb1 (patch) | |
| tree | b832fedfd1ca14cdd5c8296b88190692f596fff8 /src/man/Makefile.in | |
| parent | ec4b05380dcbc0550da2dcac497ebdd980b815b8 (diff) | |
| download | krb5-0f81e372a2830c9170f6e08dfa956841d0ebdfb1.tar.gz krb5-0f81e372a2830c9170f6e08dfa956841d0ebdfb1.tar.xz krb5-0f81e372a2830c9170f6e08dfa956841d0ebdfb1.zip | |
More RST rename follow-up
Update conf.py for paths to man page sources and update make rules
for building the man pages.
Correct README files for the location of the sources.
Diffstat (limited to 'src/man/Makefile.in')
| -rw-r--r-- | src/man/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/man/Makefile.in b/src/man/Makefile.in index 15a4d53b94..eae879efd6 100644 --- a/src/man/Makefile.in +++ b/src/man/Makefile.in @@ -19,13 +19,13 @@ docsrc=$(top_srcdir)/../doc # Update checked-in man pages from RST sources in the top-level doc # directory. This can be done from an unconfigured tree with: -# make -f Makefile.in top_srcdir=.. srcdir=. rstman +# make -f Makefile.in top_srcdir=.. srcdir=. man # 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. -rstman: +man: rm -rf rst_man - $(SPHINX_BUILD) -q -t mansubs -b man $(docsrc)/rst_source rst_man + $(SPHINX_BUILD) -q -t mansubs -b man $(docsrc) rst_man for f in rst_man/*.[0-9]; do \ name=`echo $$f | sed -e 's|^.*/\(.*\)\.[0-9]$$|\1|'`; \ sed -e '/^\.\\" $$/d' $$f > $(srcdir)/$$name.man; \ |