Admin/makedist

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