diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-24 18:25:12 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-24 18:25:12 +0200 |
| commit | d350d5e71434704d147b1252d21e46daf6bb9885 (patch) | |
| tree | 49e7abb95764b46516827d5aebd8e3e82b3526d3 /.gitignore | |
| parent | a6405e0333fe371e8beb84121f01119401fd09e9 (diff) | |
| download | patches-d350d5e71434704d147b1252d21e46daf6bb9885.tar patches-d350d5e71434704d147b1252d21e46daf6bb9885.tar.gz | |
gnu: texlive-amsfonts: Build .ins file instead of installing fonts twice.
* gnu/packages/tex.scm (texlive-amsfonts)[arguments]: Override build targets;
rename font build directory to avoid installing it a second time.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions