#! /bin/sed -f

# sed-pfilt -- template for a sed printing filter

# $Id$
# Carlos Duarte, 980525

# 
# first, choose patterns to remove
# then, process, and let go
# 

# filter: wipe out empty lines, and ones started by .
/./!d
/^\./d

# transform line, into | line | 
s/^/| /
s/$/                                                       /
s/^\(........................................\).*$/\1 |/