#!/bin/sh

# This is the Emdebian Grip replacement for install-info
# It does absolutely nothing, merely exists for dpkg
# compatibility.

exit 0
