Update mkrel for new doc build process

ticket: 7453 (new)
target_version: 1.11
tags: pullup

diff --git a/src/util/mkrel b/src/util/mkrel
index 90c135afe3caae6dd46c7eaf3ac60bc6ea245266..a8de50b5ddfea5ed78589f6ef9205cdb61e31d7f 100755 (executable)
--- 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..."