#	Make the Index of Help Files.

rm -f /tmp/MKI$$
find . -type f -print -exec \
	sed -n -e '/^.TI/\!b' -e n -e p -e q '{}' ';' >> /tmp/MKI$$
ed - /tmp/MKI$$ << '%'
g/^\./s/$/	/
g/^\./.,+j
g/^\./s,\./,,
w
q
'%'
(sed -e '/^--------/q' index_help ; sort /tmp/MKI$$) > /tmp/MKH$$
mv /tmp/MKH$$ index_help
rm -f /tmp/MKI$$