| changeset 17910 | 2b435795c9e9 |
| parent 17693 | 541f6367a431 |
| child 17942 | 68988fd2fd27 |
--- a/Admin/makedist Wed Oct 19 14:51:12 2005 +0200 +++ b/Admin/makedist Wed Oct 19 16:32:09 2005 +0200 @@ -158,6 +158,7 @@ DISTNAME=$DISTNAME DISTIDENT=$DISTIDENT +DISTBASE=$DISTBASE EOF MOVE=$($FIND Doc \( -type f -a -not -type l -a -not -name pghead.pdf -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf')