Mercurial > hg > Papers > 2015 > atton-thesis
annotate Makefile @ 45:12c5e455fe55
Writing description proofs of monad-laws for delta
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 15 Feb 2015 10:33:47 +0900 |
parents | 37d9ab64d4c8 |
children | bf136bd59e7a |
rev | line source |
---|---|
2 | 1 # target name |
2 TARGET=main | |
3 | |
4 # dependencies | |
5 $(TARGET).pdf : $(TARGET).dvi | |
6 dvipdfmx $< | |
7 | |
12
11015b94a5cd
Add figures category
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
8 $(TARGET).dvi : $(wildcard *.tex) $(wildcard fig/*.pdf) |
45
12c5e455fe55
Writing description proofs of monad-laws for delta
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
37
diff
changeset
|
9 ruby replace_agda.rb |
2 | 10 platex $(TARGET).tex |
11 platex $(TARGET).tex | |
12 platex $(TARGET).tex | |
13 | |
14 | |
15 # commands | |
37
37d9ab64d4c8
Add command for escape agda source
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
27
diff
changeset
|
16 .PHONY : clean all open remake setup |
2 | 17 |
18 clean: | |
27 | 19 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol |
2 | 20 |
21 all: $(TARGET).pdf | |
22 | |
23 open: $(TARGET).pdf | |
24 open $(TARGET).pdf | |
25 | |
26 remake: | |
27 make clean | |
28 make all | |
12
11015b94a5cd
Add figures category
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
29 |
37
37d9ab64d4c8
Add command for escape agda source
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
27
diff
changeset
|
30 setup: |
12
11015b94a5cd
Add figures category
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
31 extractbb fig/*.pdf |
37
37d9ab64d4c8
Add command for escape agda source
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
27
diff
changeset
|
32 ruby replace_agda.rb |