Page 1 of 1

7.5 pdf documentation

Posted: 6 Aug 2014 7:57
by Kari Rastas

Posted: 6 Aug 2014 8:37
by Thomas Linder Puls
Hi, Kari. Thank you for letting us know this problem.

We have not really considered offline reading in e-readers, but I guess we should. The pdf file is made by extracting a single selfcontained HTML file from the wiki. This HTML file is transformed in to pdf using a tool from Winnovative. We have tried several such tools and none of them were very good.