#!/bin/sh
#
# Copyright (c) 1990,1991, OPEN SOFTWARE FOUNDATION, INC.
# ALL RIGHTS RESERVED
# 
#	sync-h1-mm sync-file new-header-file
#
#	generates a new-header-file containing a PH for the last H 1 from
#	sync-file
#

echo '...\"	-mm page specific header info'
echo '...\"'

grep '^!H1:' |
	tail -1 |
		sed -n 's/^!H1: "/.ds !!/p' |
			sed -n 's/"$//p'
