Hi Bill, my reasoning was that the executable is rather useless without the documentation, which is non-free (pdf without the tex source). Of course I could provide the executable and point to the website for documentation. Would you find that more useful?
Best, Tobias -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
