--- /usr/bin/makepkg	2007-05-07 16:12:52.000000000 -0400
+++ makepkg	2007-05-07 16:12:30.000000000 -0400
@@ -42,6 +42,7 @@
 NOEXTRACT=0
 NOSTRIP=0
 RMDEPS=0
+INFOLIST=0
 
 PACMAN_OPTS=
 
@@ -644,6 +645,18 @@
 	# remove info/doc files
 	msg "Removing info/doc files..."
 	cd $startdir
+        # check if package has been flagged as stripped
+         if [ ! "$INFOLIST" = "0" ]; then
+          if [ -d pkg/usr/info ] || [ -d pkg/usr/share/info ] || [ -d pkg/usr/doc ] || [ -d pkg/usr/share/doc ] || [ -d pkg/usr/share/gtk-doc ] || [ -d pkg/opt/gnome/share/gtk-doc ]; then
+           grep -x $pkgname ~/infostripped.log $1 $2 &> /dev/null
+           if [ ! $? = 0 ]; then
+            echo $pkgname >> ~/infostripped.log
+            msg "Adding package name to infostripped.log..."
+            else
+             msg "Already in infostripped.log..."
+           fi
+          fi
+         fi
 	rm -rf pkg/usr/info pkg/usr/share/info
 	rm -rf pkg/usr/doc pkg/usr/share/doc
 	rm -rf pkg/{usr,opt/gnome}/share/gtk-doc