diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-14 18:48:35 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-08-14 19:08:30 +0200 |
| commit | 44156abc69fbb87614b49c509044dc168c439bac (patch) | |
| tree | 118e544781d838ab37faa0552399eae82b858807 /etc/source-manifest.scm | |
| parent | a341d7c65aa3f458584ec2136be52247e2b0042f (diff) | |
gnu: Add texlive-mkgrkindex.
* gnu/packages/tex.scm (texlive-mkgrkindex): New variable.
Diffstat (limited to 'etc/source-manifest.scm')
0 files changed, 0 insertions, 0 deletions