1 #!/usr/bin/awk -f 2 # 3 # lpp - literate programming processor 4 # public domain 5 6 /^\t/ { 7 if (!pre) { 8 pre = 1 9 if (did) 10 print "" 11 else 12 did = 1 13 } 14 15 print substr($0, 2) 16 next 17 } 18 19 // { pre = 0 }