--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/Makefile	Mon Jan 16 15:18:03 2017 +0900
@@ -0,0 +1,44 @@
+# Settings
+TARGET=atton-master
+BIBTEX=echo # 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) $<
+
+%.agda.replaced: %.agda
+	ruby escape_agda.rb $<
+
+
+# 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
+
+all: $(TARGET).pdf
+
+open: $(TARGET).pdf
+	open $(TARGET).pdf
+
+remake:
+	make clean
+	make all