+if test "$compressed_dist" == "yes" -a "$full_dist" == "yes"; then
+ echo "Compressing .el files"
+ sharedir=$installprefix/share/emacs/$version
+ find $sharedir/lisp $sharedir/leim -name "*.elc" -print | sed 's|\(.*\)\.elc$|/usr/bin/gzip -9 \1.el|' | /bin/sh -s
+ echo "Compressing info files"
+ find $installprefix/info -type f ! -name dir -print | sed 's|\(.*\)$|/usr/bin/gzip -9 \1|' | /bin/sh -s
+fi
+