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 a813c90aafd99c279e2ac533aa3d754c4e2769b5..88474902ca3be9013706f9ec82c60c3d34916a06 100644 (file)
--- 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 \