#!/bin/csh -f

sed -n '/% begin style check/,/% end style check/ p' $1 | grep -v '% .* style check' | detex -l
