From: Jochen Sprickerhof <jspricke@debian.org>
Date: Thu, 11 Jan 2024 11:09:40 +0100
Subject: Workaround failing documentation build on ppc64el

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index a31a152..701d2cb 100644
--- a/Makefile
+++ b/Makefile
@@ -396,7 +396,12 @@ $(BUILD_DIR)/fuzzers/fuzz_%_msan: fuzzing/fuzzers/fuzz_%.cpp $(FUZZER_MSAN_OBJEC
 	rst2html $< $@
 
 %.html: %.md
+# work around https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1057854
+ifneq (,$(filter $(DEB_BUILD_ARCH),ppc64el))
+	pandoc --from markdown --to html5 --standalone --katex -o $@ $<
+else
 	pandoc --from markdown --to html5 --standalone --lua-filter gitlab-math.lua --katex -o $@ $<
+endif
 
 ### dependencies