all: rtlinux.pdf

view: rtlinux.pdf
	xpdf $< 2>/dev/null &

%.pdf: %.ps
	ps2pdf $< $@

%.ps: %.dvi
	dvips -P pdf -t landscape $< -o $@

rtlinux.dvi: rtlinux.tex fig1.eps fig2.eps fig3.eps sources.tex *.tex
	latex $<

%.eps: %.gif
	convert $< $@