equal
deleted
inserted
replaced
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 |