From 30eff3c5356c51aedf98281d47768fa50defa68f Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 29 Oct 2023 16:50:10 +0000
Subject: [PATCH] add support for pi symbol missing from utf8-to-latex
 conversion, requires texlive-xetex package (also added to
 install-hdl-apt-reqs devscript)

---
 openpower/sv/rfc/Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/openpower/sv/rfc/Makefile b/openpower/sv/rfc/Makefile
index a813c90aa..88474902c 100644
--- a/openpower/sv/rfc/Makefile
+++ b/openpower/sv/rfc/Makefile
@@ -25,6 +25,11 @@ tex_out/%.mdwn: %.mdwn ../../mdwn_inline.py
 
 %.pdf: tex_out/%.mdwn ../../pandoc_img.py
 	pandoc \
+		--pdf-engine=xelatex \
+	    -V 'mainfont:DejaVuSerif' \
+	    -V 'sansfont:DejaVuSans' \
+	    -V 'monofont:DejaVuSansMono' \
+	    -V 'mathfont:Latin Modern Math' \
 		--filter ../../pandoc_img.py \
 		-V margin-top=0.9in \
 		-V margin-bottom=0.9in \
-- 
2.30.2