#!/bin/sh -e

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