Add back include file.

diff --git a/sudo.pp b/sudo.pp
index 0e08b129b5272abfaa4db212c221ad9676ef84dd..324412489468c099a363a2a9c8fee978345e4e74 100644 (file)
--- a/sudo.pp
+++ b/sudo.pp
@@ -151,6 +151,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: