doc: fix pdf generation