Fix setting of sudoedit_man variable.

--HG--
branch : 1.7

diff --git a/sudo.pp b/sudo.pp
index c1f3bc3206d3970d88d46964696c6cd7a4a2357a..d640a4905e46938e96ab7ee6b13274351216684b 100644 (file)
--- a/sudo.pp
+++ b/sudo.pp
@@ -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]