X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=sudo.pp;h=fc4fa795bec81b41addda4fc3446551e9a91e232;hb=e8db7f6eea9b35527ddd4532affabd18a30549b5;hp=50307e983c410f1ba986e5f292e71a1e155a495c;hpb=98b9fd63cd28a3636a7cd24641b8f497eaadcd50;p=debian%2Fsudo

diff --git a/sudo.pp b/sudo.pp
index 50307e9..fc4fa79 100644
--- 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