#!/bin/sh
# Start coq{ide,top,c} with the right -I options
what=$1
shift
exec coq$what -I ../lib -I ../common -I ../backend -I ../cfrontend "$@"