Manpages of src2tex in Debian testing