--- ion3.orig/etc/cfg_ioncore.lua
+++ ion3/etc/cfg_ioncore.lua
-@@ -336,6 +336,7 @@
+@@ -335,6 +335,7 @@
menuentry("Help", "mod_query.query_man(_)"),
menuentry("About Ion", "mod_query.show_about_ion(_)"),
submenu("Styles", "stylemenu"),
submenu("Session", "sessionmenu"),
})
-@@ -381,3 +381,12 @@
+@@ -380,3 +381,12 @@
defctxmenu("WClientWin", "Client window", {
menuentry("Kill", "WClientWin.kill(_)"),
})
+
+-- Auto-generated Debian menu definitions
-+if os.execute("test -x /usr/bin/update-menus") == 0 then
++if os and os.execute("test -x /usr/bin/update-menus") == 0 then
+ if ioncore.is_i18n() then
+ dopath("debian-menu-i18n")
+ else