blob: 8e3c87d1c079926f3e0f810b47b533c3b220446f (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/bash
for i in $*; do
i=`basename $i .tex`
dviselect 2,3 $i.dvi /tmp/hfstlumpi.dvi
a5doppel /tmp/hfstlumpi
dvips -h landscape.ps -t landscape /tmp/hfstlumpi.d.dvi -o /tmp/hfstlumpi.ps;
ps2pdf -g8420x5950 -sOutputFile=$i.pdf /tmp/hfstlumpi.ps
done
|