From 7b9a3cbc1ebdf5e20709f0fc79ebb8d5b2b6e42f Mon Sep 17 00:00:00 2001
From: Michael Bogdanov <mikhael.bogdanov@gmail.com>
Date: Fri, 17 Nov 2023 10:41:45 +0100
Subject: [PATCH] Switch to github djvu repo copy to avoid problems with GH
 Actions

---
 thirdparty_build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thirdparty_build.gradle b/thirdparty_build.gradle
index 8554a83eb..fb9310396 100644
--- a/thirdparty_build.gradle
+++ b/thirdparty_build.gradle
@@ -23,7 +23,7 @@ task downloadDjvu {
         }
         else {
             exec {
-                commandLine = ['git', 'clone', 'git://git.code.sf.net/p/djvu/djvulibre-git', djvu]
+                commandLine = ['git', 'clone', 'https://github.com/max-kammerer/djvulibre.git', djvu]
             }
         }