equal
deleted
inserted
replaced
1 #!/usr/bin/env amm |
1 #!/usr/bin/env amm |
2 |
2 |
3 val files = Seq("cw01.tex", |
3 val files = Seq("cw01.tex", |
4 "cw02.tex", |
4 "cw02.tex", |
5 "cw03.tex", |
5 "cw03.tex", |
6 "cw04.tex", |
6 "cw04.tex", |
7 "cw05.tex") |
7 "cw05.tex") |
8 |
8 |
9 val pdf_files = files.map(s => s.stripSuffix("tex") ++ "pdf") |
9 val pdf_files = files.map(s => s.stripSuffix("tex") ++ "pdf") |
10 |
10 |
11 |
11 |
12 @main |
12 @main |
13 def make() = { |
13 def make() = { |
14 for (f <- files) { |
14 for (f <- files) { |
15 println(s"Processing $f ...") |
15 println(s"Processing $f ...") |
16 os.proc("xelatex", f).call(stdout = os.Inherit, stdin = os.Inherit) |
16 os.proc("lualatex", f).call(stdout = os.Inherit, stdin = os.Inherit) |
17 os.proc("xelatex", f).call(stdout = os.Inherit, stdin = os.Inherit) |
17 os.proc("lualatex", f).call(stdout = os.Inherit, stdin = os.Inherit) |
18 } |
18 } |
19 } |
19 } |
20 |
20 |
21 |
21 |
22 @main |
22 @main |