1.1 --- a/Admin/makedist	Thu Aug 27 11:51:32 1998 +0200
     1.2 +++ b/Admin/makedist	Thu Aug 27 11:53:45 1998 +0200
     1.3 @@ -138,6 +138,8 @@
     1.4  
     1.5  ( cd lib/browser; make; )
     1.6  
     1.7 +cp doc/isabelle*.eps lib/logo
     1.8 +
     1.9  
    1.10  if [ -n "$UNOFFICIAL" ]; then
    1.11    {