#!/usr/bin/awk -f

/<!--toc-->/ {
	exit
}

{
	print
}