Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
discontinued odd copy of eps logos (cf. 8fc3828fdc8a);
authorwenzelm
Tue, 28 Aug 2012 20:16:11 +0200
changeset 48989 06c0e350782c
parent 48988 f4d4d6d6702b
child 48990 12814717c95c
discontinued odd copy of eps logos (cf. 8fc3828fdc8a);
Admin/Release/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/Release/makedist	Tue Aug 28 20:10:53 2012 +0200
+++ b/Admin/Release/makedist	Tue Aug 28 20:16:11 2012 +0200
@@ -172,8 +172,6 @@
 directory individually.
 EOF
 
-cp doc/isabelle*.eps lib/logo
-
 if [ -z "$RELEASE" ]; then
   {
     echo
isabelle