Provide user guide as PDF
It would be useful to have the user-guide as a downloadable PDF file.
PDF should be linked on homepage.
Does it mean, the PDF is generated when building the project with gradle? The link to the homepage is https://jqwik.net/?
The idea is to generate it after generating the documentation, which is a task of its own in https://github.com/jlink/jqwik/blob/master/documentation/build.gradle. It would probably require to include some of the markdown to pdf tools.
Would it be ok to generate the pdf using pandoc just like in the pull request?
@Bluesoul02 I’ll have a look at it. Tomorrow.
@Bluesoul02 Many thanks for tackling the issue! Let's work it out in the PR.