There is no 'man gnome-shell-extension-tool'

[Detlef Lechner]

There is no 'man gnome-shell-extension-tool'.
'~$ man gnome-shell-extension-tool ;
Kein Handbucheintrag für gnome-shell-extension-tool vorhanden.'

ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-shell 3.4.1-0ubuntu2
ProcVersionSignature: Ubuntu 3.2.0-27.43-generic 3.2.21
Uname: Linux 3.2.0-27-generic x86_64
ApportVersion: 2.0.1-0ubuntu11
Architecture: amd64
Date: Sat Jul 28 15:36:11 2012
InstallationMedia: Ubuntu-Server 11.04 "Natty Narwhal" - Release amd64 (20110426)
SourcePackage: gnome-shell
UpgradeStatus: Upgraded to precise on 2012-05-15 (74 days ago)

[Hans Joachim Desserud (hjd)]

Thanks for reporting this issue.

Gnome-shell-extension-tool does not have a manpage in gnome-shell 3.5.4-0ubuntu1 on Ubuntu Quantal either.

[Jeremy Bícha (jbicha)]

Thank you for taking the time to report this bug and helping to make Ubuntu better. The issue you are reporting is an upstream one and it would be nice if somebody having it could send the bug to the developers of the software by following the instructions at https://wiki.ubuntu.com/Bugs/Upstream/GNOME. If you have done so, please tell us the number of the upstream bug (or the link), so we can add a bugwatch that will inform us about its status. Thanks in advance.