Mercurial > hg > Papers > 2015 > atton-thesis

annotate Makefile @ 23:61e5659e04a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add description for natural deduction
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 09 Feb 2015 22:13:18 +0900
parents 11015b94a5cd
children e30a02baba55
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 # target name
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 TARGET=main
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 # dependencies
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 $(TARGET).pdf : $(TARGET).dvi
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 dvipdfmx $<
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
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)
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 platex $(TARGET).tex
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 platex $(TARGET).tex
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 platex $(TARGET).tex
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 # commands
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 .PHONY : clean all open remake
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 clean:
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 all: $(TARGET).pdf
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 open: $(TARGET).pdf
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 open $(TARGET).pdf
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 remake:
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 make clean
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 make all
12
11015b94a5cd Add figures category
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
28
11015b94a5cd Add figures category
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
29 bb:
11015b94a5cd Add figures category
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
30 extractbb fig/*.pdf