From 2af8a8101c3e00b5d8ee064bd29b517e729aca85 Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Tue, 29 Aug 2023 16:02:48 +0200 Subject: [PATCH] gnu: Add texlive-ted. * gnu/packages/tex.scm (texlive-ted): New variable. --- gnu/packages/tex.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 11624470b2..952c07ec69 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -97521,6 +97521,40 @@ users. (Presentation is as if it were a class; users are expected to start from a template document.)") (license license:lppl))) +(define-public texlive-ted + (package + (name "texlive-ted") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/ted/" "source/latex/ted/" + "tex/latex/ted/") + (base32 + "0vkp71bpmhs3ys29cx4sxcvqqx63pqym6n87j3sr5hy7rw20ya0x"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (arguments (list #:tex-format "latex")) + (native-inputs + (list (texlive-updmap.cfg + (list texlive-etoolbox + texlive-hypdoc + texlive-lm + texlive-microtype + texlive-minitoc)))) + (home-page "https://ctan.org/pkg/ted") + (synopsis "Primitive token list editor") + (description + "Just like @code{sed} is a stream editor, @code{ted} is a token list editor. +The @code{ted} package provides two user macros: @code{\\Substitute} and +@code{\\ShowTokens}. The first is maybe the most useful: it performs +substitutions in token lists (even inside braces). The second displays each +token of the list (one per line) with its catcode (in the list, not just the +current one), and can be useful for debugging or for TeX learners. Ted is +designed to work well even if strange tokens (that is, unusual +@samp{@{charcode, catcode@}} pairs or tokens with a confusing meaning) occur +in the list.") + (license license:lppl))) + ;;; ;;; Avoid adding new packages to the end of this file. To reduce the chances ;;; of a merge conflict, place them above by existing packages with similar