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