On Mon, Sep 21, 2015 at 09:06:58PM +0200, Uwe Kleine-König wrote:
> Package: stress
> Version: 1.0.1-1
> Severity: serious
> Justification: Policy 12.2
>
> Hello,
>
> according to
>
> https://packages.debian.org/jessie/arm64/stress/filelist
>
> the stress package ships a file /usr/share/info/dir.gz on arm64.
> Installing this package overwrites the index of installed info pages
> making these inaccessible. Policy specifies "[/usr/share/info/dir] must
> not be included in packages other than install-info." in 12.2.
My packages had the same bug.
This was the standard fix I used:
From: Santiago Vila <sanv...@debian.org>
Subject: Modify doc/Makefile.in to avoid /usr/share/info/dir.gz
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -533,8 +533,7 @@
done; \
done
@$(POST_INSTALL)
- @if (install-info --version && \
- install-info --version 2>&1 | sed 1q | grep -i -v debian)
>/dev/null 2>&1; then \
+ @if false; then \
list='$(INFO_DEPS)'; \
for file in $$list; do \
relfile=`echo "$$file" | sed 's|^.*/||'`; \
