summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas K. Hüttel <dilfridge@gentoo.org>2017-04-03 13:36:17 +0200
committerAndreas K. Hüttel <dilfridge@gentoo.org>2017-04-03 13:36:17 +0200
commit0b0eff32581197e1cfee325522f0d0183b4a0c84 (patch)
tree2c7d528a29f0a1450194726db0eb0bf94be6019b /decisions
parentAdd html generation, move index to end (diff)
downloadcouncil-0b0eff32581197e1cfee325522f0d0183b4a0c84.tar.gz
council-0b0eff32581197e1cfee325522f0d0183b4a0c84.tar.bz2
council-0b0eff32581197e1cfee325522f0d0183b4a0c84.zip
Improve text typesetting
Diffstat (limited to 'decisions')
-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