docs: remove generated pdf
Opened this issue · 0 comments
borisrizov-zf commented
Summary
During a PR, it was pointed out that we might be doing too much, by providing a PDF. This is an issue to track the discussion and decide if we want to keep it or remove it.