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