I found different issues when building the doc as PDF on the server or my laptop. Debugging pdflatex issues is really hard, so I hope we won't have more.
We could also question why we are bothering with PDF? Thomas Monjalon (3): doc: robustify PDF build doc: fix PDF with greek letter doc: clean PDF config doc/guides/conf.py | 8 ++++---- doc/guides/contributing/documentation.rst | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) -- 2.21.0
