From f9a6cfdcc891ed57f6612a4525e217f342b88df2 Mon Sep 17 00:00:00 2001 From: rtoy <rtoy> Date: Sat, 10 Jan 2009 02:40:45 +0000 Subject: [PATCH] Oops. Make the default directory for the man pages man/man1 instead of just man. --- tools/make-main-dist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/make-main-dist.sh b/tools/make-main-dist.sh index 4c7a68fc8..210f6094b 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 -- GitLab