- navigation_pre = [ { prefix=>'Distribution:', title=>'Overview over this suite', url=>"index", name=>suite },
- { name=>'All Packages' } ];
- END
+ nav_last = { name=>'All Packages' };
+ END;
+ nav_arr.push( { name=>'Source',
+ url=>make_url('/','','suite',suite,'source',source) } )
+ IF source;
+ nav_arr.push( nav_last );