diff gen-print-source.sh @ 0:2de5f65f7617 final version

a lightning talk about sane web browsers at CCCS
author meillo@marmaro.de
date Fri, 14 Aug 2009 14:33:36 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gen-print-source.sh	Fri Aug 14 14:33:36 2009 +0200
@@ -0,0 +1,2 @@
+#!/bin/sh
+sed '/\\pause/d' "$1" > "`echo $1 | sed 's/\.tex/-print.tex/'`"