2023-12-17 22:24:47 +00:00
|
|
|
---
|
|
|
|
|
layout: post
|
|
|
|
|
title: Bookshelf Doc Generator
|
|
|
|
|
categories: project
|
2023-12-24 05:00:26 +00:00
|
|
|
tags: [latex, lean]
|
|
|
|
|
href: "https://git.jrpotter.com/r/bookshelf-doc"
|
2023-12-18 00:42:45 +00:00
|
|
|
image: lean.svg
|
2023-12-17 22:24:47 +00:00
|
|
|
---
|
|
|
|
|
|
2024-01-09 23:24:27 +00:00
|
|
|
A fork of [doc-gen4](https://github.com/leanprover/doc-gen4) tightly coupled to
|
|
|
|
|
my [bookshelf](https://git.jrpotter.com/r/bookshelf) project. This augments the
|
|
|
|
|
`:docs` facet to convert LaTeX files into PDFs and then list them in the
|
|
|
|
|
generated navbar.
|
