[Rock-dev] Rock compability to Linux Mint

[Chris Mueller]

Hio

I only want to approve the current Rock Setup is also compatible with 
Linux Mint
(Of course, because they use the same repositories from Ubuntu).

There is only a small extensions needed for a clean "autoproj update"

autoproj/remotes/orocos.toolchain/orocos.osdeps needs to be extended with:

omniorb:
     debian: [omniidl4, libomniorb4-dev, omniorb4-nameserver]
     linuxmint: [omniidl, libomniorb4-dev, omniorb-nameserver]
     ubuntu:
     ....


Nothing really for setting the world on fire. Only mentioned for 
completenesses
(and because of i have no write access :])

Chris