equal
deleted
inserted
replaced
|
1 #!/usr/bin/env amm |
|
2 |
|
3 val files = Seq("slides01.tex", |
|
4 "slides02.tex", |
|
5 "slides03.tex", |
|
6 "slides04.tex", |
|
7 "slides05.tex", |
|
8 "slides06.tex", |
|
9 "slides07.tex", |
|
10 "slides08.tex", |
|
11 "slides09.tex", |
|
12 "slides10.tex") |
|
13 |
|
14 val pdf_files = files.map(s => s.stripSuffix("tex") ++ "pdf") |
|
15 |
|
16 |
|
17 @main |
|
18 def make() = { |
|
19 for (f <- files) { |
|
20 println(s"Processing $f ...") |
|
21 os.proc("xelatex", f).call(stdout = os.Inherit, stdin = os.Inherit) |
|
22 } |
|
23 } |
|
24 |
|
25 @main |
|
26 def hg() = { |
|
27 println(os.proc("hg", "commit", "-m texupdate", files ++ pdf_files).call()) |
|
28 println(os.proc("hg", "push").call()) |
|
29 } |