13 lines
424 B
Markdown
13 lines
424 B
Markdown
|
---
|
||
|
layout: post
|
||
|
title: Bookshelf Doc Generator
|
||
|
categories: project
|
||
|
tags: [lean]
|
||
|
href: "https://github.com/jrpotter/bookshelf-doc"
|
||
|
---
|
||
|
|
||
|
A fork of [doc-gen4](https://github.com/leanprover/doc-gen4){:target="_blank"}
|
||
|
tightly coupled to my [bookshelf](https://github.com/jrpotter/bookshelf){:target="_blank"}
|
||
|
project. This augments the `:docs` facet to convert LaTeX files into PDFs and
|
||
|
then list them in the generated navbar.
|