diff --git a/utils/latex-preprocessing b/utils/latex-preprocessing index 0ce81094..41085419 100755 --- a/utils/latex-preprocessing +++ b/utils/latex-preprocessing @@ -16,6 +16,7 @@ sed -i "s/oeil/\\\oe{}il/g" $i; #punctuation sed -i "s/’/'/g" $i; +sed -i "s/Ca /Ça /g" $i; # dots rules sed -i "s/\\.\\.\\./\\\dots/g" $i;