Tweeted By @mrtz
We just open sourced the production setup behind https://t.co/og0iNDglC0. Check it out here: https://t.co/u0tknvcw0A
— Moritz Hardt (@mrtz) September 19, 2019
It's a simple and reusable setup that produces both html and pdf with a few useful features. We hope you'll find it useful for books, lecture notes, and projects.