[Debian GNUstep maintainers] Processed: limit source to gnustep-gui, tagging 732137

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> #gnustep-gui (0.24.0-1) UNRELEASED; urgency=low
> #
> #  * debian/gnustep-gui-doc.doc-base.manual: Add HTML format; it is now
> #    properly built and installed following the texi2html->makeinfo switch
> #    (Closes: #732137).
> #
> limit source gnustep-gui
Limiting to bugs with field 'source' containing at least one of 'gnustep-gui'
Limit currently set to 'source':'gnustep-gui'

> tags 732137 + pending
Bug #732137 [gnustep-gui-doc] gnustep-gui-doc: missing .../Gui/ProgrammingManual/manual_toc.html referenced in GNUStep doc index.html
Added tag(s) pending.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
732137: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=732137
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems