diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-16 17:42:52 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:18:57 +0200 |
| commit | 80fa1e3ea45146166ceb9287780c32f76e2870bd (patch) | |
| tree | d7282ccbdeb4f70d95b4185e259e668cdcfc12cf | |
| parent | d5db87ab28e8874a4dfd11dba9cb26aba0cce1cb (diff) | |
gnu: Add texlive-dviinfox.
* gnu/packages/tex.scm (texlive-dviinfox): New variable.
| -rw-r--r-- | gnu/packages/tex.scm | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 1eca4acefd..0d829c66a7 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -1770,6 +1770,26 @@ exclusions.") ;; <https://metadata.ftp-master.debian.org/changelogs//main/d/dvidvi/dvidvi_1.0-8.2_copyright>. (license license:gpl3))) +(define-public texlive-dviinfox + (package + (name "texlive-dviinfox") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/dviinfox/" "scripts/dviinfox/") + (base32 + "1rc662dllanawrlz2r0pnisl6zzc7c3bivsqy72iq87a92cq8kml"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (arguments (list #:link-scripts #~(list "dviinfox.pl"))) + (inputs (list perl)) + (home-page "https://ctan.org/pkg/dviinfox") + (synopsis "Perl script to print DVI meta information") + (description + "The package provides a Perl script which prints information about a DVI +file. It also supports XeTeX XDV format.") + (license license:expat))) + (define-public texlive-dvipsconfig (package (name "texlive-dvipsconfig") |