#! /bin/sh

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