diff options
Diffstat (limited to 'data/freedesktop_generate.sh')
| -rwxr-xr-x | data/freedesktop_generate.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/data/freedesktop_generate.sh b/data/freedesktop_generate.sh deleted file mode 100755 index 62ccffa7..00000000 --- a/data/freedesktop_generate.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -e - -src_root="$1" -build_root="$2" - -${NINJA:-ninja} -C "${build_root}" shared-mime-info-gmo - -itstool \ - --its "${src_root}/data/its/shared-mime-info.its" \ - --join "${src_root}/data/freedesktop.org.xml.in" \ - -o "${build_root}/data/freedesktop.org.xml" \ - "${build_root}/po/"*".gmo" |