# HG changeset patch
# User Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
# Date 1515232646 -32400
# Node ID 0e0b389d2ee492bbf13d704d56f5447682548be4
# Parent  060202b2172491fad29d01fe2d52c8927d5b36e6
add Makefile

diff -r 060202b21724 -r 0e0b389d2ee4 paper/Makefile
--- a/paper/Makefile	Mon Feb 27 20:29:43 2017 +0900
+++ b/paper/Makefile	Sat Jan 06 18:57:26 2018 +0900
@@ -1,5 +1,5 @@
 # Settings
-TARGET=atton-master
+TARGET=nozomi-master
 BIBTEX=pbibtex
 BB=extractbb
 
@@ -17,16 +17,13 @@
 
 $(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
 	platex  $(TARGET).tex
-	$(BIBTEX) $(TARGET)
+	#$(BIBTEX) $(TARGET)
 	platex  $(TARGET).tex
 	platex  $(TARGET).tex
 
 %.xbb: %.pdf
 	$(BB) $<
 
-%.agda.replaced: %.agda
-	ruby escape_agda.rb $<
-
 
 # commands
 .PHONY : clean all open remake