annotate make.sh @ 11:a8bc8c6b48bd default tip

fix
author soto@cr.ie.u-ryukyu.ac.jp
date Tue, 15 Sep 2020 07:06:29 +0900
parents c162ca9b997e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
c162ca9b997e add reference
soto@cr.ie.u-ryukyu.ac.jp
parents: 3
diff changeset
1 lualatex mid_thesis && biber mid_thesis && lualatex mid_thesis && lualatex mid_thesis && open mid_thesis
3
b124f02ea3f1 post agda code
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
2 make clean