#!/bin/bash POLY="${1:-poly}" THIS="$(cd $(dirname "$0"); pwd)" cd "$THIS/../../../src/Pure" echo "use \"../../Admin/polyml/future/ROOT.ML\";" exec "$POLY"