Bug#687252: geographiclib-tools: Gravity binary missing

[karme at karme.de]

Package: geographiclib-tools
Version: 1.21-1
Severity: normal

Dear Maintainer,

the GeoidEval man page states:
"More accurate results for the geoid height are provided by
Gravity(1).  This utility can also compute the direction of"

The man page for Gravity exists:
root at amalthea:~# dlocate /usr/share/man/man1/Gravity.1.gz
geographiclib-tools: /usr/share/man/man1/Gravity.1.gz

but the binary does not:
root at amalthea:~# dpkg -L geographiclib-tools |grep bin
/usr/sbin
/usr/sbin/geographiclib-datasets-download
/usr/bin
/usr/bin/GeoConvert
/usr/bin/GeoidEval
/usr/bin/Geod
/usr/bin/CartConvert

maybe it is just missing in
debian/geographiclib-tools.install
?

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (900, 'testing'), (800, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-3-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages geographiclib-tools depends on:
ii  libc6              2.13-35
ii  libgcc1            1:4.7.1-7
ii  libgeographiclib9  1.21-1
ii  libstdc++6         4.7.1-7

Versions of packages geographiclib-tools recommends:
ii  bzip2  1.0.6-4

Versions of packages geographiclib-tools suggests:
ii  proj-bin  4.7.0-2

-- no debconf information