Tue May 12 13:29:32 CEST 2009


It's probably the only way to get it going:

 pdftoppm -gray -r 300 ~/library/pool/lazy_specialization.pdf lazy

Using this converter script pgm2djvu for all the .pgm images:

 cat $1 | erode | pgmtopbm | pbmtodjvurle | csepdjvu -d 300 - $2

The bundle them up:

 djvm -c lazy-peval.djvu *.pgm.djvu

This is good enough.. I'll wrap it in a script later.