diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-16 17:43:31 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:18:59 +0200 |
| commit | 8b53b69bc7163f543435abbd802d883a9bfcfa72 (patch) | |
| tree | 8d1735a4aa91ec18e0271a5c5e4f18c4560f2d96 /gnu | |
| parent | ccd3df80c3423ce1fab967b10eb184fd067fdac9 (diff) | |
gnu: Add texlive-dvipng.
* gnu/packages/tex.scm (texlive-dvipng): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/tex.scm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index b7a9a75432..4ebdca06f7 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -1842,6 +1842,32 @@ page-independence of DVI file using color specials or tpic specials, and transforms between a DVI file and a text file.") (license license:expat))) +(define-public texlive-dvipng + (package + (name "texlive-dvipng") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/dvipng/" + "doc/info/dvipng.info" + "doc/man/man1/dvigif.1" + "doc/man/man1/dvigif.man1.pdf" + "doc/man/man1/dvipng.1" + "doc/man/man1/dvipng.man1.pdf") + (base32 + "0r001q4p5569dagayds1c56y10ls6f6v7mmywiw81l995q16apxi"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/dvipng") + (synopsis "DVI to PNG/GIF converter") + (description + "This program makes PNG and/or GIF graphics from DVI files as obtained +from TeX and its relatives. It offers very fast rendering of DVI as bitmap +files, which makes it suitable for generating large amounts of images +on-the-fly, as needed in @code{preview-latex}, WeBWorK and others. It does +not read the postamble, so it can be started before TeX finishes.") + (license license:lgpl3))) + (define-public texlive-dvipsconfig (package (name "texlive-dvipsconfig") |