# HG changeset patch
# User wenzelm
# Date 924877872 -7200
# Node ID 2fd9124869902eacbb5066eb41aced4c6e50b8cd
# Parent  1ebbe18fe236ea4e21041ede6f126be48eb76023
use /usr/share and /usr/bin;

diff -r 1ebbe18fe236 -r 2fd912486990 Admin/makerpm
--- 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