retitle 543369 gnu-fdisk: ships /usr/share/info/dir.gz
tags 543369 + patch
thanks
Here is a patch that seems to work.
diff -ru gnu-fdisk-1.2.3.orig/doc/Makefile.in gnu-fdisk-1.2.3/doc/Makefile.in
--- gnu-fdisk-1.2.3.orig/doc/Makefile.in 2009-08-03 23:18:07.000000000
+0200
+++ gnu-fdisk-1.2.3/doc/Makefile.in 2009-08-28 12:38:43.478642966 +0200
@@ -603,8 +603,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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
