summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTom Yu <tlyu@mit.edu>2012-11-20 19:41:56 -0500
committerTom Yu <tlyu@mit.edu>2012-11-20 19:41:56 -0500
commit0657117a24e9c3d8b277225cf2e553df42b0f73c (patch)
tree7c3e7ce2d38af9e3287fc7204b31d590077b1962
parent8ca5a84d3af27283ca6ef309e9e634bfb4ce52da (diff)
downloadkrb5-0657117a24e9c3d8b277225cf2e553df42b0f73c.tar.gz
krb5-0657117a24e9c3d8b277225cf2e553df42b0f73c.tar.xz
krb5-0657117a24e9c3d8b277225cf2e553df42b0f73c.zip
Update mkrel for new doc build process
ticket: 7453 (new) target_version: 1.11 tags: pullup
-rwxr-xr-xsrc/util/mkrel5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/util/mkrel b/src/util/mkrel
index 90c135afe3..a8de50b5dd 100755
--- a/src/util/mkrel
+++ b/src/util/mkrel
@@ -185,7 +185,10 @@ rm -rf $reldir/.git || true
if test $dodoc = t; then
echo "Building doc..."
- (cd $reldir/doc; make)
+ (cd $reldir/src/doc && make -f Makefile.in \
+ top_srcdir=.. srcdir=. PYTHON=python html pdf)
+ (cd $reldir/src/doc && make -f Makefile.in \
+ top_srcdir=.. srcdir=. PYTHON=python clean)
fi
echo "Generating tarfiles..."