summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--decisions/Makefile2
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