#!/bin/sh

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