path: root / awk-edits / Article-separator.awk


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

BEGIN {
	arstarted = 0
}

/<article>/ {
	arstarted = 1
}

arstarted == 1 && /<h1/ {
	print "<div class=\"section\">"
}

arstarted == 1 && /<h2/ {
	print "</div><div class=\"section\">"
}