Admin/makedist
changeset 3305 d8114e93ef66
parent 3281 d4ddd43f418a
child 3363 8557c2a1750c
equal deleted inserted replaced
3304:08952002358d 3305:d8114e93ef66
   120 cd $DISTBASE/$DISTNAME
   120 cd $DISTBASE/$DISTNAME
   121 
   121 
   122 find . -name CVS -exec rm -rf {} \;
   122 find . -name CVS -exec rm -rf {} \;
   123 
   123 
   124 mkdir -p Tools/8bit/bin    #FIXME tmp
   124 mkdir -p Tools/8bit/bin    #FIXME tmp
   125 find Doc -name \*.dvi -o -name \*.eps -o -name \*.ps -exec mv {} Distribution/doc \;
   125 find Doc \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) -exec mv {} Distribution/doc \;
       
   126 rm Distribution/doc/Isa-logics.eps
   126 rm -rf Admin Doc
   127 rm -rf Admin Doc
   127 
   128 
   128 mkdir src
   129 mkdir src
   129 mv $LOGICS src
   130 mv $LOGICS src
   130 mv index.html src
   131 mv index.html src