--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mupdf-source/scripts/githooks/pre-commit	Mon Sep 15 11:44:09 2025 +0200
@@ -0,0 +1,19 @@
+#!/bin/bash
+#
+# pre-commit hook to fix whitespace errors
+#
+# Uses the core.whitespace or .gitattributes whitespace=... settings.
+#
+# see also: "man git-config" under core.whitespace
+# see also: "man gitattributes"
+#
+
+PATCH=P.diff
+
+if ! git diff --cached --check --quiet
+then
+	git diff --cached > $PATCH
+	git apply --cached -R $PATCH
+	git apply --cached --whitespace=fix $PATCH
+	rm $PATCH
+fi