From 3678287e9973700d4f74972cb47baec7b2f4c918 Mon Sep 17 00:00:00 2001
From: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Date: Mon, 19 Jun 2023 11:06:39 +0200
Subject: [PATCH] gnu: Add texlive-dviincl.

* gnu/packages/tex.scm (texlive-dviincl): New variable.
---
 gnu/packages/tex.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index 49f3496453..3c26e1d891 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -4892,6 +4892,26 @@ derivation trees (such as used in sequent calculus, type inference,
 programming language semantics...).")
     (license license:lppl)))
 
+(define-public texlive-dviincl
+  (package
+    (name "texlive-dviincl")
+    (version (number->string %texlive-revision))
+    (source (texlive-origin
+             name version
+             (list "doc/metapost/dviincl/" "metapost/dviincl/")
+             (base32
+              "05f6ll7cq4ad4i4nkzrjnlqg1456is06fbmjiinadahf7yrqk3lw")))
+    (outputs '("out" "doc"))
+    (build-system texlive-build-system)
+    (home-page "https://ctan.org/pkg/dviincl")
+    (synopsis "Include a DVI page into MetaPost output")
+    (description
+     "DVItoMP is one of the auxiliary programs available to any MetaPost
+package; it converts a DVI file into a MetaPost file.  Using it, one can
+envisage including a DVI page into an EPS files generated by MetaPost.  Such
+files allow pages to include other pages.")
+    (license license:public-domain)))
+
 (define-public texlive-enctex
   (package
     (name "texlive-enctex")