Exclude /usr/share/info/dir from check-files.

diff --git a/scripts/check-files b/scripts/check-files
index cbdf740bd6322871306bd09a942fdef1956e60ba..eb2f478dbaeb77f7d2be062bb93c3e66e79a32c8 100755 (executable)
--- a/scripts/check-files
+++ b/scripts/check-files
@@ -22,7 +22,9 @@ LC_ALL=C sort > $FILES_RPM
 
 diff -d "$FILES_DISK" "$FILES_RPM" | grep "^< " | cut -c3- | 
 while read f; do
-       echo $f | sed -e "s#^$RPM_BUILD_ROOT#   #g"
+       if test "$RPM_BUILD_ROOT/usr/share/info/dir" != "$f" ; then
+               echo $f | sed -e "s#^$RPM_BUILD_ROOT#   #g"
+       fi
 done
 
 rm -f $FILES_DISK