[Devil-linux-develop] source updates

[Heiko Z. <he...@zu...>]

Hi,

don't forgett to execute the build/update_src script frequently, to have the latest source files.
After a update_src you normally have to do a "make mrproper", depending on what was updated.
Also be carefull, when you have sources there, which are not on the server. The program deletes them.

cu
  Heiko