view gen-print-source.sh @ 1:8888f8bb4697 default tip

Added tag final version for changeset 2de5f65f7617
author meillo@marmaro.de
date Fri, 14 Aug 2009 14:33:51 +0200
parents 2de5f65f7617
children
line wrap: on
line source

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