From: Jacob Lifshay <programmerjake@gmail.com>
Date: Tue, 30 Jan 2024 05:20:27 +0000 (-0800)
Subject: fosdem2024_bigint: improve latex escaping for dia
X-Git-Url: https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff_plain;h=011fc6899d046f78a3aa0fce901db508f9e9dc88

fosdem2024_bigint: improve latex escaping for dia
---

diff --git a/conferences/fosdem2024/fosdem2024_bigint/.latexmkrc b/conferences/fosdem2024/fosdem2024_bigint/.latexmkrc
index d52c4ace5..c70c723fd 100644
--- a/conferences/fosdem2024/fosdem2024_bigint/.latexmkrc
+++ b/conferences/fosdem2024/fosdem2024_bigint/.latexmkrc
@@ -5,7 +5,10 @@ sub dia2tex {
     system("dia -n -t pgf-tex -e \"$_[0].dia-tex\" \"$_[0].dia\"");
     # replace labels with text `latex:\something` by the latex command `\something`
     my $sed_cmd = substr(<<'EOS', 0, -1);  # remove trailing newline
-sed -i 's/^\\node\[[^\]*\] at ([-0-9.]\+\\du,[-0-9.]\+\\du){latex:\\ensuremath{\\backslash}\(.*\)};$/\\\1/'
+sed -i 's/^\\node\[[^\]*\] at ([-0-9.]\+\\du,[-0-9.]\+\\du){latexcmd:\(.*\)};$/latex:\1/
+s/latex:\\ensuremath{\\backslash}/\\/g
+s/latex:\\\([$_{}]\)/\1/g
+'
 EOS
     system("$sed_cmd \"$_[0].dia-tex\"");
 }
diff --git a/conferences/fosdem2024/fosdem2024_bigint/bigint-add-pipe.dia b/conferences/fosdem2024/fosdem2024_bigint/bigint-add-pipe.dia
index 7ec8fa3b6..9935cdc22 100644
--- a/conferences/fosdem2024/fosdem2024_bigint/bigint-add-pipe.dia
+++ b/conferences/fosdem2024/fosdem2024_bigint/bigint-add-pipe.dia
@@ -690,7 +690,7 @@ add ops#</dia:string>
       <dia:attribute name="text">
         <dia:composite type="text">
           <dia:attribute name="string">
-            <dia:string>#latex:\pause#</dia:string>
+            <dia:string>#latexcmd:\pause#</dia:string>
           </dia:attribute>
           <dia:attribute name="font">
             <dia:font family="sans" style="0" name="Helvetica"/>
@@ -1046,7 +1046,7 @@ adde ops#</dia:string>
       <dia:attribute name="text">
         <dia:composite type="text">
           <dia:attribute name="string">
-            <dia:string>#latex:\onslide&lt;1-&gt;#</dia:string>
+            <dia:string>#latexcmd:\onslide&lt;1-&gt;#</dia:string>
           </dia:attribute>
           <dia:attribute name="font">
             <dia:font family="sans" style="0" name="Helvetica"/>