#for i in *.dot ; do cat $i | dot -Tjpg > $i.jpeg ; done


#for i in 01 02 03 04 05 06 07 ; do l=$[$i-1]; o=$[$i+1]; sed s/'m von n'/$i' von 7'/ ntp.html |  sed s/lll/ntp0$l.html/ | sed s/ooo/ntp0$o.html/  > `basename ntp.html .html`$i.html; done 


#for i in 01 02 03 04 05 06 07 ; do l=$[$i-1]; o=$[$i+1]; sed s/'m von n'/$i' von 7'/ lamport.html |  sed s/lll/lamport0$l.html/ | sed s/ooo/lamport0$o.html/  > `basename lamport.html .html`$i.html; done 



#for i in 01 02 03 04 05 06 07 ; do l=$[$i-1]; o=$[$i+1]; sed s/'m von n'/$i' von 7'/ vektor.html |  sed s/lll/vektor0$l.html/ | sed s/ooo/vektor0$o.html/  > `basename vektor.html .html`$i.html; done 


lamport-jpeg: 
	#for $i in *.fig 
	#do
		#fig2dev -L jpeg $$i $$i.jpeg
	#done	


$F = /usr/X11R6/bin/fig2dev
$LAMPORT-FIGS = lamport/include/lamport.fig lamport/include/lamport02.fig  lamport/include/lamport04.fig lamport/include/lamport01.fig lamport/include/lamport03.fig

.for FILE in ${$LAMPORT-FIGS}
	-$F -L jpeg $FILE $FILE.jpeg
.endfor