mir/sudo
2
0
Fork 0
mirror of https://github.com/sudo-project/sudo.git synced 2025-08-31 14:25:15 +00:00
Code Issues Releases Wiki Activity

MAN_PREFIX -> man_prefix

Browse Source 
now sets prefix and exec_prefix
This commit is contained in:
Todd C. Miller
1995-11-13 05:52:24 +00:00
parent 4bdbf190fd
commit 910e9c09fd
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
configure.in
View File

@@ -20,8 +20,10 @@ LIBOBJS=""
AC_SUBST(LIBOBJS)dnl
TGETPASS="tgetpass.o"
AC_SUBST(TGETPASS)dnl
MAN_PREFIX='$(prefix)/man'
AC_SUBST(MAN_PREFIX)dnl
prefix='/usr/local'
exec_prefix='$(prefix)'
man_prefix='$(prefix)/man'
AC_SUBST(man_prefix)dnl
MANTYPE="man"
MAN_POSTINSTALL=""
AC_SUBST(MAN_POSTINSTALL)dnl
@@ -171,15 +173,15 @@ case "$OS" in
if test -z "$NROFFPROG" ; then
MAN_POSTINSTALL=' /bin/rm -f $(mandir)/sudo.$(mansect).z ; /usr/bin/pack $(mandir)/sudo.$(mansect)'
if test -d /usr/share/catman/local; then
MAN_PREFIX="/usr/share/catman/local"
man_prefix="/usr/share/catman/local"
else
MAN_PREFIX="/usr/catman/local"
man_prefix="/usr/catman/local"
fi
else
if test -d "/usr/share/man/local" ; then
MAN_PREFIX="/usr/share/man/local"
man_prefix="/usr/share/man/local"
else
MAN_PREFIX="/usr/man/local"
man_prefix="/usr/man/local"
fi
fi
;;