Index: devel.info
===================================================================
RCS file: /cvs/drupal-contrib/contributions/modules/devel/devel.info,v
retrieving revision 1.13
diff -u -p -r1.13 devel.info
--- devel.info	4 Jan 2011 19:19:38 -0000	1.13
+++ devel.info	10 Jan 2011 11:53:57 -0000
@@ -2,7 +2,6 @@
 name = Devel
 description = Various blocks, pages, and functions for developers.
 package = Development
-dependencies[] = menu
 core = 7.x
 configure = admin/config/development/devel
 tags[] = developer
Index: devel.install
===================================================================
RCS file: /cvs/drupal-contrib/contributions/modules/devel/devel.install,v
retrieving revision 1.46
diff -u -p -r1.46 devel.install
--- devel.install	27 Oct 2010 07:54:03 -0000	1.46
+++ devel.install	10 Jan 2011 11:56:52 -0000
@@ -16,12 +16,15 @@ function devel_enable() {
     ->condition('name', 'devel')
     ->execute();
 
-  $menu = array(
-    'menu_name' => 'devel',
-    'title' => $t('Development'),
-    'description' => $t('Development link'),
-  );
-  menu_save($menu);
+  // Create a custom menu, if Menu module is enabled.
+  if (module_exists('menu')) {
+    $menu = array(
+      'menu_name' => 'devel',
+      'title' => $t('Development'),
+      'description' => $t('Development link'),
+    );
+    menu_save($menu);
+  }
 }
 
 /**
@@ -41,8 +44,11 @@ function devel_uninstall() {
   variable_del('devel_switch_user_show_form');
 
   // Delete the development menu.
-  $devel_menu = menu_load('devel');
-  menu_delete($devel_menu);
+  if (module_exists('menu')) {
+    if ($devel_menu = menu_load('devel')) {
+      menu_delete($devel_menu);
+    }
+  }
 }
 
 /**