From 685c59c2e074a4f6a6fe8c8eb634bf35476f0b6e Mon Sep 17 00:00:00 2001
From: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Date: Sun, 14 May 2023 14:46:40 +0200
Subject: [PATCH] gnu: texlive-latex-bussproofs -> texlive-bussproofs.

* gnu/packages/tex.scm (texlive-bussproofs): New variable.
(texlive-latex-bussproofs): Deprecate variable.
---
 gnu/packages/tex.scm | 43 +++++++++++++++++++------------------------
 1 file changed, 19 insertions(+), 24 deletions(-)

diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index a761c1d104..1723515987 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -11463,31 +11463,26 @@ styles of inference rules, placement of labels, etc.")
 
 (define-deprecated-package texlive-latex-ebproof texlive-ebproof)
 
-(define-public texlive-latex-bussproofs
-  (let ((template (simple-texlive-package
-                   "texlive-latex-bussproofs"
-                   (list "/doc/latex/bussproofs/"
-                         "/tex/latex/bussproofs/")
-                   (base32
-                    "1gb8y9g89fqw1kix4d2vb7mj440vlb8hnpsa3jqpk9yicndwcyk6"))))
-    (package
-      (inherit template)
-      (arguments
-       (substitute-keyword-arguments (package-arguments template)
-         ((#:tex-directory _ '())
-          "latex/bussproofs")
-         ((#:build-targets _ '())
-          ''()) ; "bussproofs.sty"
-         ((#:phases phases)
-          `(modify-phases ,phases
-             (add-after 'unpack 'chdir
-               (lambda _ (chdir "tex/latex/bussproofs")))))))
-      (home-page "https://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/index.html")
-      (synopsis "Formal proofs in the style of sequent calculus")
-      (description
-       "This package provides commands to typeset proof trees in the style of
+(define-public texlive-bussproofs
+  (package
+    (name "texlive-bussproofs")
+    (version (number->string %texlive-revision))
+    (source (texlive-origin
+             name version
+             (list "doc/latex/bussproofs/"
+                   "tex/latex/bussproofs/")
+             (base32
+              "1gb8y9g89fqw1kix4d2vb7mj440vlb8hnpsa3jqpk9yicndwcyk6")))
+    (outputs '("out" "doc"))
+    (build-system texlive-build-system)
+    (home-page "https://ctan.org/pkg/bussproofs")
+    (synopsis "Proof trees in the style of the sequent calculus")
+    (description
+     "This package provides commands to typeset proof trees in the style of
 sequent calculus and related systems.")
-      (license license:lppl1.3+))))
+    (license license:lppl1.3+)))
+
+(define-deprecated-package texlive-latex-bussproofs texlive-bussproofs)
 
 (define-public texlive-euenc
   (package