# HG changeset patch
# User wenzelm
# Date 904211625 -7200
# Node ID 8fc3828fdc8a206c7eb3319804883b7934705968
# Parent  c974451df466ff387327c589c556c2c7625aacf5
eps logis;

diff -r c974451df466 -r 8fc3828fdc8a 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
   {