Hi all, should you need to convert a tex documentation file to pdf or htlm in debian/rules, which tool do you think would be best to choose? Thanks! Cesare.