update docs and configure options

[debian/sudo] / debian / sudo.manpages

diff --git a/debian/sudo.manpages b/debian/sudo.manpages
index 03336538835f32ee5f91d1cd724a77093d2f9010..e22c9d0737d17691576d1cdfd063a32baae99b71 100644 (file)
--- a/debian/sudo.manpages
+++ b/debian/sudo.manpages
@@ -1,3 +1,3 @@
-sudo.man
-sudoers.man
-visudo.man
+build-simple/sudo.man
+build-simple/sudoers.man
+build-simple/visudo.man