#! /bin/sh

../sh/prot tmenu.c | tee tmenu-prot.h
