#!/bin/sh
sed '/\\pause/d' "$1" > "`echo $1 | sed 's/\.tex/-print.tex/'`"
