Merge 0a2478f6dc into 56db76d1ab

2023-12-18 13:44:32 +02:00
2 changed files with 3 additions and 4 deletions
--- a/buildScripts/getPoppler
+++ b/buildScripts/getPoppler
@ -26,7 +26,7 @@ wget https://poppler.freedesktop.org/$POPPLER_VERSION.tar.xz

 tar xvf $POPPLER_VERSION.tar.xz

-echo "Getting poppler-data version: 0.4.12"
+echo "Getting poppler-data version: 0.4.9"

 mv $POPPLER_VERSION poppler

--- a/buildScripts/versionEnvs
+++ b/buildScripts/versionEnvs
@ -4,12 +4,11 @@
 # versions

 # see: https://poppler.freedesktop.org/releases.html
-# current working: 24.01.0
+# current working: 23.12.0

 export PDF2HTMLEX_VERSION=0.18.8.rc2

-export POPPLER_VERSION=poppler-24.01.0
-#export POPPLER_VERSION=poppler-23.12.0
+export POPPLER_VERSION=poppler-23.12.0
 #export POPPLER_VERSION=poppler-21.02.0
 #export POPPLER_VERSION=poppler-0.89.0
 #export POPPLER_VERSION=poppler-0.88.0