Imported Upstream version 1.8.7

[debian/sudo] / sudo.pp

diff --git a/sudo.pp b/sudo.pp
index 50307e983c410f1ba986e5f292e71a1e155a495c..fc4fa795bec81b41addda4fc3446551e9a91e232 100644 (file)
--- a/sudo.pp
+++ b/sudo.pp
@@ -12,7 +12,7 @@ limited root privileges to users and log root activity.  \
 The basic philosophy is to give as few privileges as possible but \
 still allow people to get their work done."
        vendor="Todd C. Miller"
-       copyright="(c) 1993-1996,1998-2012 Todd C. Miller"
+       copyright="(c) 1993-1996,1998-2013 Todd C. Miller"
        sudoedit_man=`echo ${pp_destdir}$mandir/*/sudoedit.*|sed "s:^${pp_destdir}::"`
        sudoedit_man_target=`basename $sudoedit_man | sed 's/edit//'`
 
@@ -262,7 +262,9 @@ still allow people to get their work done."
        $sbindir/visudo         0755
        $bindir/sudoreplay      0755
        $includedir/sudo_plugin.h 0644
-       $libexecdir/*           $shlib_mode optional
+       $libexecdir/sudo/       0755
+       $libexecdir/sudo/sesh   0755 optional,ignore-others
+       $libexecdir/sudo/*      $shlib_mode optional
        $sudoersdir/sudoers.d/  0750 $sudoers_uid:$sudoers_gid
        $timedir/               0700 root:
        $docdir/                0755