#!/bin/sh
bibble="/usr/bin/bibblepro"
export filename=$1
filename=`echo "$filename" | sed -e s/file:\\\/\\\///g`
$bibble $filename