Processing commands for control@bugs.debian.org: > severity 658825 minor Bug #658825 [developers-reference] Provide *single* page HTML manuals in http://www.debian.org/doc/* Severity set to 'minor' from 'wishlist' > thanks Stopping processing here. Please contact me if you need assistance. -- 658825: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=658825 Debian Bug Tracking System Contact owner@bugs.debian.org with problems