--- DVB/INSTALL	2003/02/07 12:58:20	1.10
+++ DVB/INSTALL	2003/06/06 07:38:07	1.11
@@ -1,7 +1,7 @@
 Configuration:
 
-- Make sure that the kernel sources of the kernel you are using (NOT the
-  sources of some other kernel) are in the directory /usr/src/linux.
+- Make sure that the kernel sources of the kernel you are using be reachable
+  through the directory symlink in /lib/modules/$(KERNEL_VERSION)/build/. 
   Otherwise, change the path for KERNEL_LOCATION in DVB/driver/Makefile.
   Note that the configuration of the driver sources also has to match that
   of the kernel you are running.