annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
2de5f65f7617 a lightning talk about sane web browsers at CCCS
meillo@marmaro.de
parents:
diff changeset
1 #!/bin/sh
2de5f65f7617 a lightning talk about sane web browsers at CCCS
meillo@marmaro.de
parents:
diff changeset
2 sed '/\\pause/d' "$1" > "`echo $1 | sed 's/\.tex/-print.tex/'`"