2
0
mirror of https://github.com/sudo-project/sudo.git synced 2025-08-22 01:49:11 +00:00

Fix setting of sudoedit_man variable.

This commit is contained in:
Todd C. Miller 2012-06-08 09:37:43 -04:00
parent afbf68d6a3
commit 94049aa532

View File

@ -14,7 +14,7 @@ still allow people to get their work done."
vendor="Todd C. Miller"
copyright="(c) 1993-1996,1998-2012 Todd C. Miller"
shmode=0644
sudoedit_man=`echo $mandir/*/sudoedit.*|sed 's:^${pp_destdir}::'`
sudoedit_man=`echo ${pp_destdir}$mandir/*/sudoedit.*|sed "s:^${pp_destdir}::"`
sudoedit_man_target=`basename $sudoedit_man | sed 's/edit//'`
%if [aix]