blob: dffc9371be5955b029246021c8eea7b7e046a4c3 (
plain)
1
2
3
4
5
6
7
8
|
#!/bin/sh
export TABLE=`mktemp`
export DEATHTABLE=`mktemp`
python python/deathtable.py > $DEATHTABLE
python python/table.py > $TABLE
sed -e "/%%DEATHTABLE%%/{r $DEATHTABLE" -e "d}" -e "/%%MAINTABLE%%/{r $TABLE" -e "d}" <data/tables.orig.tex >data/tables.tex
rm $DEATHTABLE $TABLE
|
