Admin/makerpm
2000-09-20 wenzelm 2000-09-20 tuned;
2000-09-17 wenzelm 2000-09-17 removed -x option;
2000-09-11 wenzelm 2000-09-11 tuned;
2000-05-10 wenzelm 2000-05-10 FAKE_BUILD;
2000-02-29 wenzelm 2000-02-29 tuned;
1999-12-01 wenzelm 1999-12-01 accommodate current version of rpm;
1999-11-01 wenzelm 1999-11-01 RPMRELEASE;
1999-09-06 wenzelm 1999-09-06 isabelle-pdfdocs;
1999-08-24 wenzelm 1999-08-24 %dir;
1999-08-22 wenzelm 1999-08-22 tuned; fixed HOL-Real;
1999-08-21 wenzelm 1999-08-21 added HOL-Real; made relocatable;
1999-05-06 wenzelm 1999-05-06 tuned;
1999-05-05 wenzelm 1999-05-05 tuned rpm file names;
1999-05-03 wenzelm 1999-05-03 fixed reqs?
1999-05-03 wenzelm 1999-05-03 prefer /bin for ./configure;
1999-05-03 wenzelm 1999-05-03 try chown root:root;
1999-04-23 wenzelm 1999-04-23 use /usr/share and /usr/bin;
1999-04-23 wenzelm 1999-04-23 chgrp isabelle;
1999-04-22 wenzelm 1999-04-22 make Isabelle rpm packages for Linux/x86 from the distribution;