diff options
Diffstat (limited to 'decisions')
| -rw-r--r-- | decisions/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/decisions/Makefile b/decisions/Makefile index 1e0673a..ec2d88e 100644 --- a/decisions/Makefile +++ b/decisions/Makefile @@ -17,7 +17,7 @@ decisions.pdf: *.aux decisions.idx *.tex decisions.ind pdflatex decisions decisions.html: decisions.pdf - pdf2htmlEX decisions.pdf + pdf2htmlEX --optimize-text 1 --decompose-ligature 1 decisions.pdf onlineupdate: decisions.bug decisions.mld |