#!/usr/bin/install-menu
# by Iwan Heskamp <iwan@hetwasietsmet.nl>
# http://tdm120.el.utwente.nl/~hkp/pwm/
# Modified for Ion by Per Olofsson <pelle@dsv.su.se>

compat="menu-1"

!include menu.h

compat="menu-2"

outputencoding="ISO-8859-1";

function q($arg) = esc($arg, "\\\"");

function entry($action)="    menuentry(\"" q(title()) "\", "
	$action "),\n";
function entry_exec($command)=entry("make_exec_fn(\""
	q($command) "\")");

supported;
   x11  = entry_exec($command);
   wm   = entry("function() restart_other_wm(\""
	q($command) "\") end");
   text = entry_exec(term());
endsupported;


startmenu="defmenu(\"" $section "\", {\n";
endmenu="})\n\n";
genmenu="debian-menu.lua";
submenutitle="    submenu(\"" $title "\", \"" $section "\"),\n";
preoutput="\n";
mainmenutitle="Debian";
rootsection="Debian";
rootprefix="/var/lib/ion2/";
userprefix="/.ion2/";

preoutput= "-- Automatically generated file. Do not edit.\n-- (See /usr/share/doc/menu/menu.txt.gz)\n\n";
