update docs and configure options
[debian/sudo] / debian / sudo.docs
index e3c9b7b82111723d1dab3b7761715f7e085742be..b590209412dec8b8428100b58d0b70d8f913eb5d 100644 (file)
@@ -1,5 +1,5 @@
 debian/OPTIONS 
-UPGRADE 
-HISTORY 
+doc/UPGRADE 
+doc/HISTORY 
+doc/TROUBLESHOOTING
 README 
-TROUBLESHOOTING