Bug#736569: androidsdk-tools: please ship sdkmanager.jar in some binary package

[Daniel Kahn Gillmor]

Package: androidsdk-tools
Version: 22.2+git20130830~92d25d6-1
Severity: normal

the normal "android" script that a user might want to launch expects
to find sdkmanager.jar someplace.  debian doesn't ship that at all
currently, under any name that i can see.

It looks like debian is shipping our .jars with the prefix of
androidsdk-, so maybe that means we need a package
androidsdk-sdkmanager, which ships
/usr/share/java/andrioidsdk-sdkmanager.jar and symlinks
/usr/share/java/sdkmanager.jar to it.

Thanks for maintaining androidsdk-tools in debian!

Regards,

        --dkg

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (500, 'testing'), (200, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

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