6b0b07e1026c567b71d9785872c2e725a2628ab9
[barrelfish] / doc / 018-Practical-guide / cleanTex.awk
1 #!/usr/bin/gawk -f
2
3 BEGIN {
4     pr = 0
5 }
6
7 /KNOWN ISSUES/ {
8     pr = 0
9 }
10
11 /SUPPORTED HARDWARE/ {
12     pr = 1
13 }
14
15 {
16     if (pr ==1) {
17         print
18     }
19 }
20
21