#! /bin/sh

case "$1" in
--version)
  exec /usr/bin/makeinfo "$@" | sed 's/4.1[0-9]/4.9/'
  ;;
*)
  exec /usr/bin/makeinfo "$@"
  ;;
esac

exit 1

