diff --git a/.github/workflows/harness.yml b/.github/workflows/harness.yml index b26b3cc6..8d6b624f 100644 --- a/.github/workflows/harness.yml +++ b/.github/workflows/harness.yml @@ -112,7 +112,7 @@ jobs: - name: Install LaTeX deps # This is done late because caching would not benefit compared to # installation through apk (1,5G upload is slow) - run: sudo apk add texlive-xetex texmf-dist-latexextra texmf-dist-binextra texmf-dist-pictures font-dejavu groff + run: sudo apk add texlive-xetex texmf-dist-latexextra texmf-dist-binextra texmf-dist-pictures texmf-dist-fontsrecommended font-dejavu groff - name: Build Catala extra docs run: | cd ~/catala diff --git a/doc/syntax/syntax_en.tex b/doc/syntax/syntax_en.tex index 65af10d4..70409d1f 100644 --- a/doc/syntax/syntax_en.tex +++ b/doc/syntax/syntax_en.tex @@ -18,11 +18,13 @@ \usepackage[a4paper,landscape,margin=1cm,includehead,headsep=2ex,nofoot]{geometry} \usepackage{fancyhdr} \usepackage{array} -\usepackage[none]{hyphenat} \usepackage[document]{ragged2e} \usemintedstyle{tango} +\hyphenpenalty=10000 +\exhyphenpenalty=10000 + \setsansfont{DejaVu Sans}[Scale=0.9] \setmonofont{DejaVu Sans Mono}[Scale=0.9] diff --git a/doc/syntax/syntax_fr.tex b/doc/syntax/syntax_fr.tex index fd3efc18..45155999 100644 --- a/doc/syntax/syntax_fr.tex +++ b/doc/syntax/syntax_fr.tex @@ -18,11 +18,13 @@ \usepackage[a4paper,landscape,margin=1cm,includehead,headsep=2ex,nofoot]{geometry} \usepackage{fancyhdr} \usepackage{array} -\usepackage[none]{hyphenat} \usepackage[document]{ragged2e} \usemintedstyle{tango} +\hyphenpenalty=10000 +\exhyphenpenalty=10000 + \setsansfont{DejaVu Sans}[Scale=0.9] \setmonofont{DejaVu Sans Mono}[Scale=0.9]