#!/bin/sh
set -e
# Automatically added by dh_installinfo
if [ "$1" = "configure" ]; then
	install-info --quiet --section "Development" "Development" /usr/share/info/gdb.info
fi
# End automatically added section
# Automatically added by dh_installinfo
if [ "$1" = "configure" ]; then
	install-info --quiet --section "Development" "Development" /usr/share/info/gdbint.info
fi
# End automatically added section
# Automatically added by dh_installinfo
if [ "$1" = "configure" ]; then
	install-info --quiet --section "Development" "Development" /usr/share/info/stabs.info
fi
# End automatically added section
# Automatically added by dh_installmenu
if [ "$1" = "configure" ] && [ -x "`which update-menus 2>/dev/null`" ]; then
	update-menus
fi
# End automatically added section
