#!/bin/sh
#
# notangle filter that makes the definition of an empty chunk <<>>= 
# stand for a continuation of the previous chunk definition.

awk 'BEGIN { lastdefn = "@defn " }
/^@defn $/ { print lastdefn; next }
/^@defn /  { lastdefn = $0 }
{ print }' "$@"
