K 10 svn:author V 6 marcel K 8 svn:date V 27 1999-12-08T18:10:15.000000Z K 7 svn:log V 170 Oops! bypassing Makefile.inc0 without adding a `world' target is not a good idea. Adding `world' to Makefile is save, because all hairy bits are in Makefile.inc1 anyway. END