doc: Use texi2pdf instead of pdftex.