K 10 svn:author V 5 luigi K 8 svn:date V 27 2006-02-14T13:10:12.000000Z K 7 svn:log V 192 fix wrong repository path, and while at it, also indent a bit the variables for easier readability. Too bad we *must* use spaces for indentation, because TABs are misinterpreted by 'make'... END