--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mupdf-source/scripts/hexdump.sh	Mon Sep 15 11:44:09 2025 +0200
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+FILE=$1
+if [ ! -f "$FILE" ]
+then
+	echo usage: bash scripts/hexdump.sh input.ttf
+	exit 1
+fi
+
+NAME=$(basename "$FILE" | sed 's/[.-]/_/g')
+
+echo "// This is an automatically generated file. Do not edit."
+echo "const unsigned char _binary_$NAME[] ="
+od -v -An -tx1 "$FILE" | sed 's/ *//g;s/[0-9a-f][0-9a-f]/\\x&/g;s/.*/"&"/'
+echo ";"
+echo "const unsigned int _binary_${NAME}_size = sizeof(_binary_${NAME}) - 1;"