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