summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRiku Voipio <riku.voipio@linaro.org>2017-10-23 13:11:51 +0300
committerRiku Voipio <riku.voipio@linaro.org>2017-10-23 13:11:51 +0300
commitae65658ad8726f2f2ec0da62487ce6497c03a190 (patch)
treee1a7afe39a6c18a905fd3c57fca9d20162e649bb
parent4a5795f082b5544ac5ee4fb32575a94dcd65acdb (diff)
downloadobs-configs-ae65658ad8726f2f2ec0da62487ce6497c03a190.tar.gz
add jadetex
-rw-r--r--Debian:10.0.prjconf1
-rw-r--r--Debian:9.0.prjconf1
-rw-r--r--Debian:sid.prjconf1
3 files changed, 3 insertions, 0 deletions
diff --git a/Debian:10.0.prjconf b/Debian:10.0.prjconf
index 2010c01..d05d0a9 100644
--- a/Debian:10.0.prjconf
+++ b/Debian:10.0.prjconf
@@ -79,6 +79,7 @@ Prefer: -file-rc
Prefer: libjpeg-dev
Prefer: libidn2-dev
Prefer: libsndio-dev
+Prefer: jadetex
Conflict: ghostscript-library:ghostscript-mini
diff --git a/Debian:9.0.prjconf b/Debian:9.0.prjconf
index bc79800..a6d4e63 100644
--- a/Debian:9.0.prjconf
+++ b/Debian:9.0.prjconf
@@ -79,6 +79,7 @@ Prefer: -file-rc
Prefer: libjpeg-dev
Prefer: libidn2-dev
Prefer: libsndio-dev
+Prefer: jadetex
Conflict: ghostscript-library:ghostscript-mini
diff --git a/Debian:sid.prjconf b/Debian:sid.prjconf
index 2010c01..d05d0a9 100644
--- a/Debian:sid.prjconf
+++ b/Debian:sid.prjconf
@@ -79,6 +79,7 @@ Prefer: -file-rc
Prefer: libjpeg-dev
Prefer: libidn2-dev
Prefer: libsndio-dev
+Prefer: jadetex
Conflict: ghostscript-library:ghostscript-mini