changeset 3305 | d8114e93ef66 |
parent 3281 | d4ddd43f418a |
child 3363 | 8557c2a1750c |
--- a/Admin/makedist Thu May 22 16:37:00 1997 +0200 +++ b/Admin/makedist Thu May 22 16:44:47 1997 +0200 @@ -122,7 +122,8 @@ find . -name CVS -exec rm -rf {} \; mkdir -p Tools/8bit/bin #FIXME tmp -find Doc -name \*.dvi -o -name \*.eps -o -name \*.ps -exec mv {} Distribution/doc \; +find Doc \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) -exec mv {} Distribution/doc \; +rm Distribution/doc/Isa-logics.eps rm -rf Admin Doc mkdir src