From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 29 Oct 2023 16:50:10 +0000 (+0000)
Subject: add support for pi symbol missing from utf8-to-latex conversion,
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=30eff3c5356c51aedf98281d47768fa50defa68f;p=libreriscv.git

add support for pi symbol missing from utf8-to-latex conversion,
requires texlive-xetex package (also added to install-hdl-apt-reqs devscript)
---

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 \