Gibt dpkg -l | grep "dvb-dev" das aus?
ii dvb-dev 1.0.1-1 development files for DVB applications
und dpkg -S /usr/include/linux/dvb
das: dvb-dev: /usr/include/linux/dvb?
War das vor dem Übersetzen des MPlayer auch schon da ;-?
BTW: In der Anleitung stand bis vor ~1 Stunde noch etwas verwirrender Redigiermüll drin. Wichtig ist, dass die dort angegebene ./configure-Zeile dem Beispiel entspricht.
Peter Siering, c't