Index: devel.install
===================================================================
RCS file: /cvs/drupal-contrib/contributions/modules/devel/devel.install,v
retrieving revision 1.44
diff -u -p -r1.44 devel.install
--- devel.install	16 Aug 2010 02:31:20 -0000	1.44
+++ devel.install	3 Sep 2010 05:56:00 -0000
@@ -2,7 +2,7 @@
 // $Id: devel.install,v 1.44 2010/08/16 02:31:20 salvis Exp $
 
 /**
- * Implementation of hook_enable()
+ * Implementation of hook_enable().
  */
 function devel_enable() {
   $t = get_t();
@@ -24,6 +24,15 @@ function devel_enable() {
   menu_save($menu);
 }
 
+/**
+ * Implementation of hook_disable().
+ */
+function devel_disable() {
+  // Delete the development menu.
+  $devel_menu = menu_load('devel');
+  menu_delete($devel_menu);
+}
+
  /**
  * Implementation of hook_uninstall().
  */