Bug#51450: dpkg contains install-info which isn't compatible to texinfo's

[Matthew Vernon <matthew@sel.cam.ac.uk>]

Wichert Akkerman writes:
 > Previously Matthew Vernon wrote:
 > > There is actually a previous bug of the same nature, and I posted a
 > > fix then, but was told that it wasn't really a bug after all...
 > 
 > Do you have a bugnumber or other location of that fix for me?

I couldn't find it at a brief glance, so here's the script again - the
dpkg and gnu install-info versions are kept in different locations,
and the script decides which to use based on command-line arguments,
defaulting to the dpkg version.

Matthew

#! /bin/bash
# install_info.sh: checks command-line arguments for ones unique
# to either GNU install_info or dpkg install_info
# and calls the appropriate script,
# the Default being dpkg install_info
# This script Copyright C 1999 Matthew Vernon <matthew@debian.org>
# Released under the GPL version 2

a=$@   #shift would mangle this otherwise
gnu_install_info=/usr/bin/ginstall_info
dpkg_install_info=/usr/bin/dinstall_info

if [ $# -eq 1 ]
	then echo "Dpkg install-info to be used"
	exit 0
fi

while [ $1 ]
	do
case "$1" in
	--dir-file=*|--entry=*|--delete|--info-file=*|--info-dir=*--item=*--section=*)
		echo "Using GNU install-info"
		$gnu_install_info $a
		exit 0
		;;
		--section|--infodir=*|--align=*|--calign=*|--maxwidth=*|--description=*|--menuentry=*|--keep-old|--test)
		echo "Using Dpkg install-info"
		$dpkg_install_info $a
		exit 0
		;;
		*)
		;;
		esac
		shift
	done
echo "Unable to determine which install-info to use, defaulting to dpkg's version."
$dpkg_install_info $a


-- 
"At least you know where you are with Microsoft."
"True. I just wish I'd brought a paddle."
http://www.debian.org