--- 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"