Package: menhir Version: 20071212.dfsg-1+b2 Severity: normal On the menhir website there is a nice PDF manual of menhir http://cristal.inria.fr/~fpottier/menhir/manual.pdf , but it is not shipped in the menhir Debian package. Can you please add it to the package and register it with doc-base?
It is my understanding that the manual has been removed from the Debian package to make the tarball DFSG free, isn't it? If this is the case, consider this bug as a request to clarify with upstream why they can't just add the source document generating the PDF in the tarball and ship it. TIA, Cheers. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.25-2-686 (SMP w/1 CPU core) Locale: LANG=it_IT.UTF-8, LC_CTYPE=it_IT.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages menhir depends on: ii libc6 2.7-11 GNU C Library: Shared libraries ii ocaml-nox [ocaml-nox-3.10.2] 3.10.2-3 ML language implementation with a menhir recommends no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
