#!/bin/bash -f
TEXMACS_REDUCE_PATH="$TEXMACS_PATH/plugins/reduce"
export TEXMACS_REDUCE_PATH
exec redpsl
