changeset 23201 | 85612df29daa |
parent 23160 | b7d0e78be86d |
child 23895 | 89f8bfdbc269 |
--- a/Admin/makedist Sat Jun 02 08:54:05 2007 +0200 +++ b/Admin/makedist Sat Jun 02 13:52:07 2007 +0200 @@ -165,7 +165,7 @@ MOVE=$($FIND Doc \( -type f -a -not -type l -a -not -name isabelle_isar.pdf -a -not -name pghead.pdf -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf') mv -f $MOVE Distribution/doc rm Distribution/doc/Isa-logics.eps -rm -rf Doc Tools +rm -rf Doc mkdir src contrib mv $SRCS src