From a8722b4d53e0c7d95ba250743796d169db9f7ae1 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Tue, 17 Mar 2009 04:30:32 +0100 Subject: [PATCH] info-files: ignore /usr/share/info/dir files. --HG-- extra : convert_revision : 98732bbbb17e9c15ea1023ff995f7f803a667e84 --- triggers/info-files | 1 + 1 file changed, 1 insertion(+) diff --git a/triggers/info-files b/triggers/info-files index 6af8f440315..058cf1dfb10 100755 --- a/triggers/info-files +++ b/triggers/info-files @@ -29,6 +29,7 @@ run) cat $finfometa | while read line; do [ ! -f ./$line ] && continue + [ "$line" = "/usr/share/info/dir" ] && continue case "$2" in post-install)