# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1205204406 0
# Node ID 20ff5c172e35c3a7a5d8e449617edb113fd13bbc
# Parent  dc9438eed764bea641144ef8343a26acf518dce9
Handle icons/hicolor/scalable directory.

diff -r dc9438eed764 -r 20ff5c172e35 make-dist
--- 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}