--- a/Admin/makerpm Fri Apr 23 11:50:35 1999 +0200 +++ b/Admin/makerpm Fri Apr 23 11:51:38 1999 +0200 @@ -183,6 +183,8 @@ # invoke rpm +chgrp -R isabelle "$TMP" + echo "topdir: $TMP" >"$TMP/rpmrc" rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec"