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