diff --git a/helpers/make-gnome-menus b/helpers/make-gnome-menus index d0539bfdb95cecb4099684da27a4059107b84eda..634540f3362dac202dad33b7ff67a2a4699df1dd 100644 --- a/helpers/make-gnome-menus +++ b/helpers/make-gnome-menus @@ -22,7 +22,7 @@ COMPONENT=main . ./config -for i in 09_app_install_entry.patch 09_games-menu.patch 11_science-menu.patch 08_settings-menus.patch 12_alacarte.patch +for i in 09_app_install_entry.patch 09_games-menu.patch 11_science-menu.patch 08_settings-menus.patch do rm debian/patches/$i sed /$i/d -i debian/patches/series