equal
deleted
inserted
replaced
124 |
124 |
125 # prepare dist dir for release |
125 # prepare dist dir for release |
126 |
126 |
127 cd $DISTBASE/$DISTNAME |
127 cd $DISTBASE/$DISTNAME |
128 |
128 |
129 MOVE=$(find Doc \( -type f -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) \) \ |
129 MOVE=$(find Doc \( -type f -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf') |
130 | grep -v 'gfx/.*pdf') |
|
131 mv -f $MOVE Distribution/doc |
130 mv -f $MOVE Distribution/doc |
132 rm Distribution/doc/Isa-logics.eps |
131 rm Distribution/doc/Isa-logics.eps |
133 cp Admin/index.html $DISTBASE |
132 cp Admin/index.html $DISTBASE |
134 rm -rf Admin Doc |
133 rm -rf Admin Doc |
135 |
134 |