--- /lib/udev/path_id.old	2007-05-03 14:03:39.000000000 +0200
+++ /lib/udev/path_id	2007-05-03 14:04:08.000000000 +0200
@@ -549,6 +549,10 @@
 		handle_device
 		echo "ID_PATH=$d"
 		;;
+	dvb)
+		handle_device
+		echo "ID_PATH=$d"
+		;;
 	*)
 		RESULT=1
 		;;