#!/bin/sh

../sh/prot main_unix.c | tee main_unix_prot.h
