#!/bin/sh update-menus