# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1193800661 0
# Node ID 3a3ff756c20c682bd763154dd5feaff0318227a4
# Parent  8c5b590456c4448ba869c810bddcd1d0138cc20e
(install): Change ownership of installed files.

diff -r 8c5b590456c4 -r 3a3ff756c20c leim/Makefile.in
--- a/leim/Makefile.in	Wed Oct 31 03:15:33 2007 +0000
+++ b/leim/Makefile.in	Wed Oct 31 03:17:41 2007 +0000
@@ -251,6 +251,11 @@
 	    done) \
 	else true; fi
 	-chmod -R a+r ${INSTALLDIR}
+	for installuser in $${LOGNAME} $${USERNAME} $${USER} \
+	  `id -un 2> /dev/null`; do \
+	  [ -n "$${installuser}" ] && break ; \
+	done ; \
+	find ${INSTALLDIR} -exec chown $${installuser} '{}' ';'
 
 clean mostlyclean:
 	rm -f ${TIT-MISC} ${TIT-MISC:.elc=.el} \