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 }