1399 Add platex2pdf command