Re: RFS: proofgeneral
Le 10/01/2012 15:56, Hendrik Tews a écrit :
> - in debian/changelog, there are two extraneous blank lines after the
> first entry; don't do that
>
> Done.
I was talking about the lines *between* changelog entries, not inside
the last one.
> - consider using http://dep.debian.net/deps/dep5/ for
> debian/copyright
>
> Done. (Nevertheless, I ask myself, why I got the compat level and
> the copyright format wrong when following precisely the
> guidelines in the new maintainers guide.)
I think paths in the Files field should be relative to the root of the
unpacked *source* package.
I've just noticed that there are files under CC-BY-NC-SA-3. This is not
free (the "NC" part). Is the current package shipping these files? If it
is (and it looks like it is), this is a severe violation of Debian
policy, and the package should be removed. I've added Debian FTP Masters
in CC to have their opinion.
Is it possible to remove these files from the package? The upstream
tarball should be repackaged to remove them. If the package is useless
without the images, the package should target the non-free archive
instead. Of course, the best solution would be to ask upstream to remove
that NC clause.
> - the compilation fails in a clean sid chroot with the following error:
>
> fixed with
> Build-Depends: debhelper (>= 8), texinfo, texlive-latex-base, texlive-generic-recommended, texi2html, emacs23-nox | emacs23 | emacs23-lucid
OK, now it builds.
Cheers,
--
Stéphane
Reply to: