Admin/makedist
changeset 37368 1c816f2abb0e
parent 37356 4f79bb1aaf50
child 37369 e0460bbf6b39
     1.1 --- a/Admin/makedist	Tue Jun 08 17:45:39 2010 +0200
     1.2 +++ b/Admin/makedist	Wed Jun 09 14:08:08 2010 +0200
     1.3 @@ -200,9 +200,8 @@
     1.4  mv "$DISTNAME" "${DISTNAME}-old"
     1.5  mkdir "$DISTNAME"
     1.6  
     1.7 -mv "${DISTNAME}-old/README" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" \
     1.8 -  "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" \
     1.9 -  "$DISTNAME"
    1.10 +mv "${DISTNAME}-old/README" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" \
    1.11 +  "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" "$DISTNAME"
    1.12  mkdir "$DISTNAME/doc"
    1.13  mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
    1.14