To be able to print the wiki more easily I've added a script in the wiki repository to generate pdfs. It uses pandoc at the moment, it can probably be improved (removing the large margins for example).
I am opening this issue if people here have better ideas to do that, or to improve this.
To be able to print the wiki more easily I've added a script in the wiki repository to generate pdfs. It uses pandoc at the moment, it can probably be improved (removing the large margins for example).
I am opening this issue if people here have better ideas to do that, or to improve this.