diff options
| author | Greg Hudson <ghudson@mit.edu> | 2012-03-23 16:27:05 +0000 |
|---|---|---|
| committer | Greg Hudson <ghudson@mit.edu> | 2012-03-23 16:27:05 +0000 |
| commit | f309175aeb7cee90bc1537ccc871e5b2221dac87 (patch) | |
| tree | 2eed62e279a7e039ad1ca5548fd60c8fb563e1fb /src/doc | |
| parent | 84ebeb7e08f4486393c890772fbd87e6b956205b (diff) | |
| download | krb5-f309175aeb7cee90bc1537ccc871e5b2221dac87.tar.gz krb5-f309175aeb7cee90bc1537ccc871e5b2221dac87.tar.xz krb5-f309175aeb7cee90bc1537ccc871e5b2221dac87.zip | |
Install path-substituted man pages
Introduce src/doc/Makefile.in, which will eventually subsume
doc/Makefile (but will still pull sources from doc). In the rstman
target there, create man pages with symbolic path references (like
@SBINDIR@). In man/Makefile.in, substitute the path references with
the configured paths before installing.
Man pages generated from RST source are now checked into the source
tree under the name filename.man. This lets us use a single implicit
.man.sub rule for the path substitutions.
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@25786 dc483132-0cff-0310-8789-dd5450dbe970
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/Makefile.in | 20 | ||||
| -rw-r--r-- | src/doc/deps | 1 |
2 files changed, 21 insertions, 0 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in new file mode 100644 index 0000000000..6222e21971 --- /dev/null +++ b/src/doc/Makefile.in @@ -0,0 +1,20 @@ +mydir=doc +BUILDTOP=$(REL).. + +SPHINX_BUILD=sphinx-build + +docsrc=$(top_srcdir)/../doc +mansrc=$(top_srcdir)/man + +# The file editing loop deletes some trailing whitespace that the +# docutils manpage writer outputs near the end of its output files. +rstman:: + $(RM) -r mantmp && mkdir mantmp + $(SPHINX_BUILD) -q -t mansubs -b man $(docsrc)/rst_source mantmp + for f in mantmp/*.[0-9]; do \ + name=`echo $$f | sed -e 's|^.*/\(.*\)\.[0-9]$$|\1|'`; \ + sed -e '/^\.\\" $$/d' $$f > $(mansrc)/$$name.man; \ + done + +clean:: + $(RM) -r mantmp diff --git a/src/doc/deps b/src/doc/deps new file mode 100644 index 0000000000..2feac3c9d3 --- /dev/null +++ b/src/doc/deps @@ -0,0 +1 @@ +# No dependencies here. |