#!/bin/sh
if [ ! -x /usr/bin/makeinfo ]
  then
    echo "Please install makeinfo to use LinuxDoc DTD SGML Info Conversion"
    exit 1
fi
exec /usr/bin/linuxdoc --backend=info "$@"
