Fix setting of sudoedit_man variable.

diff --git a/sudo.pp b/sudo.pp
index 8b701368ecf430b3bad9cadc0d129859cff1b8ef..e00147f23f1ebba9c091718b9d91c4f200ded173 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]