#!/bin/sh -eu

term="$TERMINAL -e %s"
mimeo --term "$term" --deprecated "$@"