#!/bin/sh

export cryptol_html_datadir=/usr/local/share/cryptol

exec /usr/local/libexec/cabal/cryptol-html "$@"
