Package: source-highlight
Version: 3.1-1
Severity: serious
Tags: patch
$ dpkg -c source-highlight_3.1-1_i386.deb | grep dir.gz
-rw-r--r-- root/root 420 2009-09-21 21:36 ./usr/share/info/dir.gz
The dir.gz file should not be there. This is very bad because (among
other things) as soon as there are two packages with this bug, they
can't be installed simultaneously, so we might better not to have any
of them in testing, hence the serious severity.
The following patch might work, please double check. You could also
remove the "if" block entirely.
diff -ru source-highlight-3.1.orig/doc/Makefile.in
source-highlight-3.1/doc/Makefile.in
--- source-highlight-3.1.orig/doc/Makefile.in 2009-09-23 00:15:53.261864000
+0200
+++ source-highlight-3.1/doc/Makefile.in 2009-09-23 00:16:39.197933773
+0200
@@ -1090,8 +1090,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|^.*/||'`; \
Thanks.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
