#!/bin/sh
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

# remove old 0.93R6 base disk leftover

cd /usr/doc && rm -f bug-log-access.txt bug-reporting.txt mailing-lists.txt
