[Debian GNUstep maintainers] Bug#732137: gnustep-gui-doc: missing .../Gui/ProgrammingManual/manual_toc.html referenced in GNUStep doc index.html

[js]

Package: gnustep-gui-doc
Version: 0.20.0-3
Severity: normal

Dear Maintainer,
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
I've installed the latest gnustep doc packages:
    ii  gnustep-base-doc   1.22.1-4.2
    ii  gnustep-core-doc   7.7
    ii  gnustep-gui-doc    0.20.0-3
    ii  gnustep-make-doc   2.6.2-2.1

and found that the index.html page provided by:
    gnustep-base-doc: /usr/share/GNUstep/Documentation/index.html

has a link to GUI documentation pages that are not installed by gnustep-gui-doc,
for example (I have installed the GUI part of GNUstep, in addition to the doc files above):

    The following links will work only if you have installed the GUI portion of GNUstep.
    GUI Programming Manual	(PDF) 

This links to:
    file://localhost/usr/share/GNUstep/Documentation/Developer/Gui/ProgrammingManual/manual_toc.html
which is not installed by the doc packages above. Only two AppKit files are in the directory
where the GUI manual_toc.html should be; none of the links in AppKit.html works but the pdf is fine.

This link should be the same as the one in gnustep.org:
    http://www.gnustep.org/resources/documentation/Developer/Gui/ProgrammingManual/AppKit_toc.html

Other links to the GUI documentation, like "GUI Library API" and "GUI Additions", are correctly
linked in the Documentation/index.html

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=


-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)

Kernel: Linux 3.2.0-4-686-pae (SMP w/6 CPU cores)
Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnustep-gui-doc depends on:
ii  gnustep-common [gnustep-fslayout-fhs]  2.6.2-2.1

gnustep-gui-doc recommends no packages.

gnustep-gui-doc suggests no packages.

-- no debconf information