Have corrected most of the points you told me, but I really don't know how to build the documentation using the just built program, though I have uploaded a new one one, it's http://mentors.debian.net/debian/pool/main/p/plastex/ now, as I changed back the source name. /Carl DSC: http://mentors.debian.net/debian/pool/main/p/plastex/plastex_0.8.2-1.dsc