#!/bin/bash
if [ $1 == "0000-cover-letter.patch" ]; then
	~/scripts/coverlettercmd "TO"
else
	~/scripts/_tocmd $1
fi