diff options
| author | Théo Zimmermann | 2016-10-19 12:07:38 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2016-10-19 12:07:38 +0200 |
| commit | e6f6cff7b88a70fe694507efe12885a776ab6730 (patch) | |
| tree | 488b274e5f28dcc86401102f15abab1aded9668e /kernel/cemitcodes.ml | |
| parent | 317ae3b327d201530730ed2cce5f44e8763814d4 (diff) | |
Change the order of arguments of fig2dev.
For some reason, with my version of transfig (which seems to be the latest),
the order of arguments of the fig2dev command matters: -L png must come
before -m 2. I suppose that this fix shouldn't break things for others.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions