Mercurial > hg > Papers > 2017 > atton-master
annotate paper/Makefile @ 130:80a196c82a4c
Update todo
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 18 Feb 2017 15:43:09 +0900 |
parents | 40ae32725e55 |
children |
rev | line source |
---|---|
3 | 1 # Settings |
2 TARGET=atton-master | |
6
5c0e43b1b559
Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
3
diff
changeset
|
3 BIBTEX=pbibtex |
3 | 4 BB=extractbb |
5 | |
6 vpath pdf fig | |
7 FIGURES=$(wildcard fig/*.pdf) | |
8 FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES)) | |
9 | |
10 vpath agda src | |
11 SOURCES=$(wildcard src/*agda) | |
12 SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES)) | |
13 | |
14 # dependencies | |
15 $(TARGET).pdf : $(TARGET).dvi | |
16 dvipdfmx $< | |
17 | |
18 $(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX) | |
19 platex $(TARGET).tex | |
20 $(BIBTEX) $(TARGET) | |
21 platex $(TARGET).tex | |
22 platex $(TARGET).tex | |
23 | |
24 %.xbb: %.pdf | |
25 $(BB) $< | |
26 | |
27 %.agda.replaced: %.agda | |
28 ruby escape_agda.rb $< | |
29 | |
30 | |
31 # commands | |
32 .PHONY : clean all open remake | |
33 | |
34 clean: | |
66 | 35 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx src/*.replaced |
3 | 36 |
37 all: $(TARGET).pdf | |
38 | |
39 open: $(TARGET).pdf | |
40 open $(TARGET).pdf | |
41 | |
42 remake: | |
43 make clean | |
44 make all |