#! /bin/sh
# The SPIMS software is covered by a license. The use of the software
# represents acceptance of the terms and conditions in the license.
# ******************************************************************
# Copyright (c) 1989, Swedish Institute of Computer Science
awk '\
    $1 == "Specification:" { p = 1; printf "%s ...\n", FILENAME; print} \
    $1 != "Specification:" { if (p) { if (substr($0,0,1) != " ") p = 0; \
				      else print; }}\
' $*
