Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makedist
changeset 6958 2ed4b761d6d5
parent 6758 8fc15183f549
child 7115 37178f53ed4d
equal deleted inserted replaced
6957:d8026ebe4516 6958:2ed4b761d6d5 
   175 
   175 
   176 $TAR cf $DISTNAME.tar $DISTNAME
 
   176 $TAR cf $DISTNAME.tar $DISTNAME
 
   177 ( cd pdf; $TAR cf ../${DISTNAME}_pdf.tar $DISTNAME; )
 
   177 ( cd pdf; $TAR cf ../${DISTNAME}_pdf.tar $DISTNAME; )
 
   178 
   178 
   179 mv pdf/$DISTNAME/doc/*.pdf $DISTNAME/doc
 
   179 mv pdf/$DISTNAME/doc/*.pdf $DISTNAME/doc
 
   180 rmdir pdf/$DISTNAME/doc pdf/$DISTNAME
 
   180 rmdir pdf/$DISTNAME/doc pdf/$DISTNAME pdf
 
   181 
   181 
   182 UNPACKED_SIZE=$[ $(cat $DISTNAME.tar ${DISTNAME}_pdf.tar | wc -c) / 1024 ]
 
   182 UNPACKED_SIZE=$[ $(cat $DISTNAME.tar ${DISTNAME}_pdf.tar | wc -c) / 1024 ]
 
   183 
   183 
   184 gzip $DISTNAME.tar
 
   184 gzip $DISTNAME.tar
 
   185 gzip ${DISTNAME}_pdf.tar
 
   185 gzip ${DISTNAME}_pdf.tar
isabelle