diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-16 17:19:58 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:18:42 +0200 |
commit | c7316e85bd2bbf13fad3442caec5f608994fe40f (patch) | |
tree | 95aed8219553af6ef6e6db4d5ce7a1bb1904ffd5 | |
parent | 5a5d128e30b3fef6b9c2e793494628fcb1852b13 (diff) |
gnu: Add texlive-pdftosrc.
* gnu/packages/tex.scm (texlive-pdftosrc): New variable.
-rw-r--r-- | gnu/packages/tex.scm | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 4b9a0095a4..64ab695b92 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -3082,6 +3082,25 @@ resolution before creating a PDF document with pdfLaTeX.") to relevant errors, which are displayed in a red bold font.") (license license:gpl3))) +(define-public texlive-pdftosrc + (package + (name "texlive-pdftosrc") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/man/man1/pdftosrc.1" + "doc/man/man1/pdftosrc.man1.pdf") + (base32 + "0mnz5id6fywhlay6r38nvii0a2ks5gdb15i7s7wkq1ay9k5k6fq3"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/pdftosrc") + (synopsis "Extract source file or stream from PDF file") + (description + "@command{pdftosrc} extracts an embedded source file, or extracts and +uncompresses a PDF stream given by object number.") + (license license:gpl2+))) + (define-public texlive-tex-ini-files (package (name "texlive-tex-ini-files") |