#! /bin/sh -e

pkg=sed

if [ ! "$1" = "configure" ]; then
	exit 0
fi

#install-info --quiet --section "General commands" "General commands" \
#		/usr/share/info/sed.info
