#!/bin/bash
for i in $*; do
 i=`basename $i .tex`
 latex $i
 dviselect 2,3 $i.dvi /tmp/hfstlumpi.dvi
 a5doppel /tmp/hfstlumpi
 dvips -t landscape /tmp/hfstlumpi.d.dvi  -o ./$i.ps
# ps2pdf -g8420x5950 -sOutputFile=$i.pdf /tmp/hfstlumpi.ps
done