#! /bin/sh

# When makeinfo does not exist, that is when we can substitute in a
# call to emacs.  This script should be magically found by configure
# when makeinfo is not installed.

# Basically, run makeinfo on a single file and skip any extra params
# that makeinfo uses.

echo "Using emacs to replace makeinfo on a not quite GNUafied system."
emacs -batch $1 -f texinfo-format-buffer -f save-buffer

# end script
