Processing commands for control@bugs.debian.org: > retitle 258812 krec.1 is in included debian/man but does not get installed Bug#258812: krec man-page Changed Bug title. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)