diff --git a/tools/make-main-dist.sh b/tools/make-main-dist.sh index 4c7a68fc8c371490eed999fe6fc5ba425ff5a79d..210f6094b85f293621c46c1ee6d16912500636f7 100755 --- a/tools/make-main-dist.sh +++ b/tools/make-main-dist.sh @@ -29,7 +29,7 @@ then fi DESTDIR=${INSTALL_DIR:-release} -MANDIR=${MANDIR:-man} +MANDIR=${MANDIR:-man/man1} TARGET="`echo $1 | sed 's:/*$::'`" VERSION=$2 ARCH=$3