path: root/servo-git.install

post_install() {
    echo You need to source /etc/profile or relogin to add Servo to your path.
}