#!/bin/sh
set -e
# install-info --quiet --description="Debian GNU/Linux FAQ" \
#  --section "Information" "Information" /usr/info/debian-faq.info.gz

if [ -x /usr/bin/update-menus ]; then
  update-menus
fi
