Best way to get a PDF version of Functional Programming in Lean?

[euprunin]

What is the best way to get a PDF version of Functional Programming in Lean?

Currently I'm doing the following:

% git clone https://github.com/leanprover/fp-lean
% cd fp-lean
% lake exe fp-lean --with-html-single
% pandoc _out/html-single/index.html -o fpil.pdf --pdf-engine=lualatex

It generates a PDF with 382 pages which appears to be complete.

[euprunin]

When running pandoc, the only warnings that appear relate to 46 distinct characters that are missing from the specified font used: [WARNING] Missing character: There is no […] in font […].

[euprunin]

Updated PDF generation instructions:

% git clone https://github.com/leanprover/fp-lean
% cd fp-lean/examples/
% lake build
% lake build subverso-extract-mod
% cd ../book/
% lake exe fp-lean --with-html-single
% pandoc _out/html-single/index.html -o fpil.pdf --pdf-engine=lualatex
% open fpil.pdf

[adamnemecek]

@david-christiansen Is it possible to include a PDF in this repo?

[shunghsiyu]

edit: out of date as pointed out below

~~The simplest way way to do so is probably to head to https://leanprover.github.io/functional_programming_in_lean/print.html with web browser and save the output as PDF.~~

[adamnemecek]

That one is unfortunately out of date.

[izanbf1803]

Is there a reason for having no PDF available or easy way to export as PDF?

[etiennebonnafoux]

I would also be interressed of a pdf version to read it in commute.