--- a/Admin/makerpm Sat Sep 23 16:12:07 2000 +0200
+++ b/Admin/makerpm Mon Sep 25 12:04:10 2000 +0200
@@ -235,6 +235,7 @@
cat >>$TMP/SPECS/isabelle.spec <<EOF
%files
+%$ROOT/Isabelle
%dir $ISABELLE_HOME
%dir $ISABELLE_HOME/doc
%dir $ISABELLE_HOME/heaps