#!/bin/sh
set -e
#install-info --description='GNU Hello.  Prints a classic greeting.' \
#	     --quiet /usr/info/hello.info

if [ "$1" = "configure" ]; then
#	if [ -d /usr/doc -a ! -e /usr/doc/hello-debhelper -a -d /usr/share/doc/hello-debhelper ]; then
#		ln -sf ../share/doc/hello-debhelper /usr/doc/hello-debhelper
#	fi
	/usr/bin/update-menus
fi