#!/bin/sh

# use gnome-open utility coming with libgnome if available
gnome-open "$1" 2>/dev/null || "$0.bin" $1

exit 0