1#!/usr/bin/gawk -f
2
3BEGIN {
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
22