#!/bin/sh -e

for f in "$@"; do
	if [ "$f" = "${f#/}" ]; then
		f="/usr/share/info/$f"
	fi
	/sbin/install-info --dir-file="${f%/*}/dir" --info-file="$f" ||:
done
