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 7ae13e25 2022-02-04 op # public domain 5 7b4d8efb 2022-02-04 op 6 7b4d8efb 2022-02-04 op /^\t/ { 7 7b4d8efb 2022-02-04 op if (!pre) { 8 7b4d8efb 2022-02-04 op pre = 1 9 7b4d8efb 2022-02-04 op if (did) 10 7b4d8efb 2022-02-04 op print "" 11 7b4d8efb 2022-02-04 op else 12 7b4d8efb 2022-02-04 op did = 1 13 7b4d8efb 2022-02-04 op } 14 7b4d8efb 2022-02-04 op 15 7b4d8efb 2022-02-04 op print substr($0, 2) 16 7b4d8efb 2022-02-04 op next 17 7b4d8efb 2022-02-04 op } 18 7b4d8efb 2022-02-04 op 19 7b4d8efb 2022-02-04 op // { pre = 0 }