menuentry("Mozilla Firefox", make_exec_fn("firefox")),
menuentry("Xdvi", make_exec_fn("xdvi")),
menuentry("GV", make_exec_fn("gv")),
menuentry("Mozilla Firefox", make_exec_fn("firefox")),
menuentry("Xdvi", make_exec_fn("xdvi")),
menuentry("GV", make_exec_fn("gv")),