--- pkgmk.in.old	2005-03-29 00:13:22.000000000 +0200
+++ pkgmk.in	2006-01-03 18:09:03.000000000 +0100
@@ -257,6 +257,16 @@
 
 	cd $PKG
 	
+        # Handle info-files
+        for file in `find . -type f -path "*/info/*"`; do
+                if [ "`echo $file | grep 'info/dir'`" ]; then
+                        rm -f $file
+                fi
+                if [ ! "`echo $file | grep '\.gz$'`" ]; then
+                        gzip -9 $file
+                fi
+        done
+
 	find . -type f -path "*/man/man*/*" | while read FILE; do
 		if [ "$FILE" = "${FILE%%.gz}" ]; then
 			gzip -9 "$FILE"