What do you need?
It is builder named revealjspdf that generate PDF files.
Bulder and PDFs are requred these:
- Target is all documents from sources.
- It can exclude targets from conf.py.
- Generated pdf display all contents without stick out. It need not work automated.
- Generated pdf render contents as text not "image collection".
- It provides features to avoid "tofu" as possible