docs: generate pdf documentation (with latex + ko.tex)