#!/bin/sh

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