diff --git a/extra/fribidi/build b/extra/fribidi/build deleted file mode 100755 index 70ff491f..00000000 --- a/extra/fribidi/build +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -e - -./configure \ - --prefix=/usr \ - --enable-static - -make - -make DESTDIR="$1" \ - install-pkgconfigDATA \ - install-exec - -make DESTDIR="$1" -C lib \ - install-pkgincludeHEADERS \ - install-nodist_pkgincludeHEADERS diff --git a/extra/fribidi/checksums b/extra/fribidi/checksums deleted file mode 100644 index 3f36eded..00000000 --- a/extra/fribidi/checksums +++ /dev/null @@ -1 +0,0 @@ -7f1c687c7831499bcacae5e8675945a39bacbad16ecaa945e9454a32df653c01 diff --git a/extra/fribidi/sources b/extra/fribidi/sources deleted file mode 100644 index 0ddde5e1..00000000 --- a/extra/fribidi/sources +++ /dev/null @@ -1 +0,0 @@ -https://github.com/fribidi/fribidi/releases/download/v1.0.10/fribidi-1.0.10.tar.xz diff --git a/extra/fribidi/version b/extra/fribidi/version deleted file mode 100644 index 2d248d7e..00000000 --- a/extra/fribidi/version +++ /dev/null @@ -1 +0,0 @@ -1.0.10 1