[xml/sgml-pkgs] Processed: Re: Bug#800537: linuxdoc-tools documentation is built during the install stage

[Debian Bug Tracking System]

Processing control commands:

> tags 800537 + pending
Bug #800537 [linuxdoc-tools] linuxdoc-tools documentation is built during the install stage
Added tag(s) pending.

-- 
800537: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800537
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems