#!/bin/sh
# Print formfeed for %page. Ignore all other directives.
cat $1 | awk '/^%page/ {print "\f"}; !/^%/'
