# dit fixt de uitvoer van ocamlweb zodat sections ook echt sections worden
# en niet een of ander half-assed onconfigureerbaar iets
while (<>) {
	if ($_ =~ /^(.*)\\ocwsection$/) {
		print "$1\n";
		do {
			$foo = <>;
		} while ($foo =~ /^\\label/);
		print "\\section*{$foo}\n";
	} else {
		print $_;
	}
}