#!/bin/sh
#
# Copyright (c) 1990,1991, OPEN SOFTWARE FOUNDATION, INC.
# ALL RIGHTS RESERVED
# 
#	sync-h1-man <sync file> <new header file>
#
#	find the last 1st level heading in the <sync file> and build
#	a -man header file that will make that string be the title of
#	a man page
#

echo '...\"	-man page specific header info'
echo '...\"'
echo '...\"	get the man page titles right'
echo '...\"'

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

