| changeset 6958 | 2ed4b761d6d5 |
| parent 6758 | 8fc15183f549 |
| child 7115 | 37178f53ed4d |
--- a/Admin/makedist Fri Jul 09 18:59:01 1999 +0200 +++ b/Admin/makedist Fri Jul 09 19:11:50 1999 +0200 @@ -177,7 +177,7 @@ ( cd pdf; $TAR cf ../${DISTNAME}_pdf.tar $DISTNAME; ) mv pdf/$DISTNAME/doc/*.pdf $DISTNAME/doc -rmdir pdf/$DISTNAME/doc pdf/$DISTNAME +rmdir pdf/$DISTNAME/doc pdf/$DISTNAME pdf UNPACKED_SIZE=$[ $(cat $DISTNAME.tar ${DISTNAME}_pdf.tar | wc -c) / 1024 ]