This file is indexed.

/usr/bin/install-info is in install-info 4.13a.dfsg.1-8ubuntu2.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#!/bin/sh
#
# Wrapper to the GNU's install-info, to be compatible with the one that used to
# be packaged by dpkg on Debian.
#
# written by Norbert Preining, this is not copyrightable ;-)
#
set -e

if [ -z "$DPKG_RUNNING_VERSION" ] ; then
  # it seems we are running from outside a maintainer script, so give a
  # warning and call ginstall-info without anything else
  echo "This is not dpkg install-info anymore, but GNU install-info" >&2
  echo "See the man page for ginstall-info for command line arguments" >&2
  ginstall-info "$@"
else 
  # we are running from a maintainer script, simply ignore the call
  # since we have trigger support and people should rebuild their
  # package with new debhelper which does not add calls to install-info
  # Do not complain if called with "--remove" or "--remove-exactly",
  # as these are used in old packages' prerm scripts (see #546165)
  while [ -n "$1" ]; do
    case "$1" in
      --remove|--remove-exactly)
        exit 0
        ;;
      *)
        shift
        ;;
    esac
  done
  echo "Ignoring install-info called from maintainer script" >&2
  echo "The package $DPKG_MAINTSCRIPT_PACKAGE should be rebuilt with new debhelper to get trigger support" >&2
fi