#!/bin/sh

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