From 9c28a5cb38d3e88af178352559455ebcec003da2 Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Tue, 29 Aug 2023 16:01:54 +0200 Subject: [PATCH] gnu: Add texlive-stex. * gnu/packages/tex.scm (texlive-stex): New variable. --- gnu/packages/tex.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 4cd8b645ab..c3240ed2f4 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -96503,6 +96503,27 @@ (define-public texlive-stealcaps specify the name of the target font via the from option.") (license license:lppl1.3c))) +(define-public texlive-stex + (package + (name "texlive-stex") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/stex/" "source/latex/stex/" + "tex/latex/stex/") + (base32 + "1yh991kwsm59vsylw0q1xifq18b8bdfmzf4ga0x7f0bcmwf3plab"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/stex") + (synopsis "Infrastructure for semantic preloading of LaTeX documents") + (description + "The sTeX package collection is a version of (La)TeX that allows to +markup (La)TeX documents semantically without leaving the document format, +essentially turning it into a document format for mathematical knowledge +management (MKM).") + (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