diff make-dist @ 92720:20ff5c172e35

Handle icons/hicolor/scalable directory.
author Glenn Morris <rgm@gnu.org>
date Tue, 11 Mar 2008 03:00:06 +0000
parents e062f74910e7
children ffe2333abed8
line wrap: on
line diff
--- a/make-dist	Tue Mar 11 02:59:11 2008 +0000
+++ b/make-dist	Tue Mar 11 03:00:06 2008 +0000
@@ -331,7 +331,8 @@
 	      etc etc/charsets etc/e etc/gnus etc/nxml \
 	      etc/images etc/images/ezimage etc/images/gnus etc/images/gud \
 	      etc/images/icons etc/images/icons/hicolor \
-	      etc/images/icons/hicolor/*x* etc/images/icons/hicolor/*x*/apps \
+	      etc/images/icons/hicolor/*x* etc/images/icons/hicolor/scalable \
+	      etc/images/icons/hicolor/*/apps \
 	      etc/images/low-color etc/images/mail \
 	      etc/images/smilies etc/images/smilies/grayscale \
 	      etc/images/smilies/medium etc/images/tree-widget \
@@ -637,7 +638,7 @@
      rm -f *~ \#*\# *,v =* core)
 done
 
-for dir in etc/images/icons/hicolor/*x*/apps ; do
+for dir in etc/images/icons/hicolor/*/apps; do
     echo "Making links to \`${dir}'"
     (cd ${dir}
      ln `ls -d * | grep -v CVS | grep -v RCS` ../../../../../../${tempdir}/${dir}