From c8378615464233ebe8d09d2c58dbd40032d77e45 Mon Sep 17 00:00:00 2001 From: obrien Date: Tue, 23 Apr 2002 22:16:41 +0000 Subject: Change the name of the 'bin' distribution to 'base'. This is done since it contains much more than /bin, and also gets in the way when making a combined install+fixit CD. OK'ed by: jkh --- release/scripts/info-make.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'release/scripts/info-make.sh') diff --git a/release/scripts/info-make.sh b/release/scripts/info-make.sh index faa3d0c..12fd29d 100755 --- a/release/scripts/info-make.sh +++ b/release/scripts/info-make.sh @@ -4,8 +4,8 @@ # # Move the info files out to their own dist -if [ -d ${RD}/trees/bin/usr/share/info ]; then - tar -cf - -C ${RD}/trees/bin/usr/share/info . | +if [ -d ${RD}/trees/base/usr/share/info ]; then + tar -cf - -C ${RD}/trees/base/usr/share/info . | tar -xpf - -C ${RD}/trees/info/usr/share/info && - rm -rf ${RD}/trees/bin/usr/share/info; + rm -rf ${RD}/trees/base/usr/share/info; fi -- cgit v1.1