| changeset 1514 | 85ac1c91045d |
| parent 1485 | 5ddc3a455059 |
| child 1917 | 6129a5f715fb |
| 1513:60ca68d853b8 | 1514:85ac1c91045d |
|---|---|
11 LATEX_OPTIONS := -file-line-error-style |
11 LATEX_OPTIONS := -file-line-error-style |
12 |
12 |
13 COMMANDS := \ |
13 COMMANDS := \ |
14 alias \ |
14 alias \ |
15 config \ |
15 config \ |
16 cstruct \ |
|
16 data \ |
17 data \ |
17 debug \ |
18 debug \ |
18 domains \ |
19 domains \ |
19 download \ |
20 download \ |
20 eoe \ |
21 eoe \ |