--- a/Admin/makerpm Fri Apr 23 12:23:21 1999 +0200 +++ b/Admin/makerpm Fri Apr 23 16:31:12 1999 +0200 @@ -9,8 +9,8 @@ LOGICS="HOL ZF" DISTBASE=~/tmp/isadist -ROOT=/usr/local -BIN=/usr/local/bin +ROOT=/usr/share +BIN=/usr/bin ## diagnostics