diff paper/Makefile @ 2:c7acb9211784

add code, figure. and paper fix content
author ryokka
date Mon, 27 Jan 2020 20:41:36 +0900
parents ee44dbda6bd3
children b5fffa8ae875
line wrap: on
line diff
--- a/paper/Makefile	Thu Jan 16 19:21:45 2020 +0900
+++ b/paper/Makefile	Mon Jan 27 20:41:36 2020 +0900
@@ -24,15 +24,16 @@
 %.xbb: %.pdf
 	$(BB) $<
 
-%.agda.replaced: %.agda
-	ruby escape_agda.rb $<
+# %.agda.replaced: %.agda
+#	ruby escape_agda.rb $<
 
 
 # commands
 .PHONY : clean all open remake
 
 clean:
-	rm -f *.dvi *.aux *.log *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx src/*.replaced
+	rm -f *.dvi *.aux *.log *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx 
+# src/*.replaced
 
 all: $(TARGET).pdf