This file is indexed.

/usr/bin/sgml2info is in linuxdoc-tools 0.9.67ubuntu1.

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
#!/bin/sh

if which makeinfo > /dev/null 2>&1; then
    exec /usr/bin/linuxdoc --backend=info "$@"
else
    echo "Please install makeinfo to use LinuxDoc DTD SGML Info Conversion"
    exit 1
fi