#! /bin/sh
#
# Υ륹ץȤ JUMAN ˤϷ̤ɽΤоݤ
# ̤ޤϷ̤ΤǤ
#
# Ϸ̤ΥǡΥǡեޥå
#           ()                  ϶Ѳ
# .....
# EOS
#
# % gawk '{ gsub(/EOS/,""); print $0 }' log > log1
# % gawk 'BEGIN { RS="" } /̤/' log1 > log2
#
gawk '{ gsub(/EOS/,""); print $0 }' \
 | gawk 'BEGIN{ RS="" } /̤/' \
 | gawk '// { print $0,"\nEOS"; next } { print $0 }'
#
# End of File
