RST = python tools/rst.py

TEXDOCUMENTS  = $(basename $(wildcard *.tex))
RSTDOCUMENTS  = $(basename $(wildcard *.txt))

SOURCES       = $(addsuffix .tex,$(TEXDOCUMENTS))
DVI           = $(addsuffix .dvi,$(TEXDOCUMENTS))
POSTSCRIPT    = $(addsuffix .ps,$(TEXDOCUMENTS))
POSTSCRIPT_GZ = $(addsuffix .ps.gz,$(TEXDOCUMENTS))
PDF           = $(addsuffix .pdf,$(TEXDOCUMENTS))
RSTSOURCES    = $(addsuffix .txt,$(RSTDOCUMENTS))
HTML          = $(TEXDOCUMENTS) $(addsuffix .html,$(RSTDOCUMENTS))

all: dvi ps ps.gz html
dvi: $(DVI)
ps: $(POSTSCRIPT)
ps.gz: $(POSTSCRIPT_GZ)
pdf: $(PDF)
html: $(HTML)


${DVI}: %.dvi: %.tex
	latex $<
	latex $<

${POSTSCRIPT}: %.ps: %.dvi
	dvips -o $@ $<

${POSTSCRIPT_GZ}: %.ps.gz: %.ps
	gzip -c $< > $@

${PDF}: %.pdf: %.tex
	rm -f $*.out $*.log $*.aux
	pdflatex $<
	pdflatex $<
	rm -f $*.out $*.log $*.aux

%: %.tex %.dvi
	latex2html -local_icons $<
	touch $@

%.html: %.txt
	$(RST) $< > $@


clean:
	rm -f -- *~ *.log *.aux *.out *.nav *.snm *.toc ${DVI} ${POSTSCRIPT} ${POSTSCRIPT_GZ} ${PDF}
	rm -fr ${HTML}