#!/bin/sh

../sh/prot gmain.c | tee gmain_prot.h
