+
−# Settings
+
−TARGET=nozomi-master
+
−BIBTEX=pbibtex
+
−BB=extractbb
+
−
+
−vpath pdf fig
+
−FIGURES=$(wildcard fig/*.pdf)
+
−FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES))
+
−
+
−vpath agda src
+
−SOURCES=$(wildcard src/*agda)
+
−SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES))
+
−
+
−# dependencies
+
−$(TARGET).pdf : $(TARGET).dvi
+
−	dvipdfmx $<
+
−
+
−$(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
+
−	platex  $(TARGET).tex
+
−	$(BIBTEX) $(TARGET)
+
−	platex  $(TARGET).tex
+
−	platex  $(TARGET).tex
+
−
+
−%.xbb: %.pdf
+
−	$(BB) $<
+
−
+
−
+
−# commands
+
−.PHONY : clean all open remake
+
−
+
−clean:
+
−	rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx src/*.replaced
+
−
+
−all: $(TARGET).pdf
+
−
+
−open: $(TARGET).pdf
+
−	open $(TARGET).pdf
+
−
+
−remake:
+
−	make clean
+
−	make all