portfolio/_posts/2023-12-14-bookshelf-doc.md

445 B

layout title categories tags href image
post Bookshelf Doc Generator project
latex
lean
https://git.jrpotter.com/r/bookshelf-doc lean.svg

A fork of doc-gen4{:target="_blank"} tightly coupled to my bookshelf{:target="_blank"} project. This augments the :docs facet to convert LaTeX files into PDFs and then list them in the generated navbar.