update patch to reflect path change in source tree

[debian/sudo] / sudo.pp

diff --git a/sudo.pp b/sudo.pp
index 35c18b7b80e3148efd0ac48c551c8e67e19799f9..6b9cd926807a4201e72e4c86d9a80853c1919cd2 100644 (file)
--- a/sudo.pp
+++ b/sudo.pp
@@ -181,6 +181,7 @@ still allow people to get their work done."
        $bindir/sudoedit    4111 root:
        $sbindir/visudo     0111
        $bindir/sudoreplay  0111
+       $includedir/sudo_plugin.h
        $libexecdir/*
        $sudoersdir/sudoers.d/  0750 $sudoers_uid:$sudoers_gid
        $timedir/               0700 root: