diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/util/mkrel | 5 |
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..." |