arm: implement flush cache debug syscall
[barrelfish] / doc / 018-Practical-guide / cleanTex.awk
1 #!/usr/bin/gawk -f
2
3 BEGIN {
4     pr = 0
5 }
6
7 /Generating Documentation/ {
8     pr = 0
9 }
10
11 /Supported PC hardware/ {
12     pr = 1
13 }
14
15 {
16     if (pr ==1) {
17         print
18     }
19 }
20
21