submenu("Session", "sessionmenu"),
})
-@@ -381,3 +381,12 @@
+@@ -381,3 +382,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