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