Processing commands for control@bugs.debian.org: > found 425250 4.4.6-1 Bug #425250 [src:linux] make pdfdocs fails Marked as found in versions linux/4.4.6-1. > thanks Stopping processing here. Please contact me if you need assistance. -- 425250: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=425250 Debian Bug Tracking System Contact owner@bugs.debian.org with problems