Add texlive-full in depexts

realworldocaml · Jul 5, 2021 · 6db3042 · 6db3042
1 parent b84b1d3
commit 6db3042
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/rwo.opam b/rwo.opam
@@ -56,4 +56,5 @@ depexts: [
   ["tzdata"] {os-distribution = "ubuntu"}
   ["tzdata"] {os-distribution = "debian"}
   ["tzdata"] {os-distribution = "alpine"}
+  ["texlive-full"] {os-family = "debian"}
 ]
diff --git a/rwo.opam.locked b/rwo.opam.locked
@@ -226,6 +226,7 @@ depexts: [
   ["pkgconfig"] {os-distribution = "centos" & os-version <= "7"}
   ["pkgconfig"] {os-distribution = "rhel" & os-version <= "7"}
   ["system:pkgconf"] {os = "win32" & os-distribution = "cygwinports"}
+  ["texlive-full"] {os-family = "debian"}
   ["tzdata"] {os-distribution = "alpine"}
   ["tzdata"] {os-distribution = "debian"}
   ["tzdata"] {os-distribution = "ubuntu"}

diff --git a/rwo.opam.template b/rwo.opam.template
@@ -2,4 +2,5 @@ depexts: [
   ["tzdata"] {os-distribution = "ubuntu"}
   ["tzdata"] {os-distribution = "debian"}
   ["tzdata"] {os-distribution = "alpine"}
+  ["texlive-full"] {os-family = "debian"}
 ]