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