Pickle Burger issues

Repositories
Issues
Comments

Results 1 issues of


                                            Pickle Burger

adding support to build PDFs for e-readers

Also updated some instructions in README based on my experience and fixed a breakage in `lean_sphinx.py` The cover page on A5 is not perfect (authors get pushed beyond the boundary),...