# target name
TARGET=main

# dependencies
$(TARGET).pdf : $(TARGET).dvi
	dvipdfmx $<

$(TARGET).dvi : $(wildcard *.tex) $(wildcard fig/*.pdf)
	platex $(TARGET).tex
	platex $(TARGET).tex
	platex $(TARGET).tex


# commands
.PHONY : clean all open remake setup

clean:
	rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol

all: $(TARGET).pdf

open: $(TARGET).pdf
	open $(TARGET).pdf

remake:
	make clean
	make all

setup:
	extractbb fig/*.pdf
	ruby replace_agda.rb