Add doc target with configured path substitutions
authorGreg Hudson <ghudson@mit.edu>
Wed, 28 Mar 2012 21:11:06 +0000 (21:11 +0000)
committerGreg Hudson <ghudson@mit.edu>
Wed, 28 Mar 2012 21:11:06 +0000 (21:11 +0000)
commitad10a94d11676da906feb0d8b9394c5b2ed394aa
tree7b7baa73fa637d3365a2193b7b0f68a8de890486
parentdd19c21d26e80d9e6e622353ec4cf2e073da04b0
Add doc target with configured path substitutions

Add a new target "substhtml" in src/doc to create HTML documentation
with configured paths, suitable for installation by an OS package.
The build target generates a file named paths.py containing the
directory substitutions, copies it into the rst_composite directory,
and instructs conf.py to use it with the "pathsubs" tag.

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@25795 dc483132-0cff-0310-8789-dd5450dbe970
doc/rst_source/conf.py
doc/rst_source/relay/build_this.rst
src/doc/Makefile.in