#! /bin/sh
if [ "$*" = "--version" ];then
	/usr/bin/makeinfo "$@" | sed 's/texinfo[^0-9]*/&4.40 - orig /'
else
	exec /usr/bin/makeinfo "$@"
fi