Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makedist
changeset 7115 37178f53ed4d
parent 6958 2ed4b761d6d5
child 7781 7a8e91b8c100 
--- a/Admin/makedist	Wed Jul 28 10:28:34 1999 +0200
+++ b/Admin/makedist	Wed Jul 28 12:07:08 1999 +0200
@@ -132,7 +132,7 @@
 cp Admin/index.html $DISTBASE
 rm -rf Admin Doc
 
-mkdir src
+mkdir src contrib
 mv $LOGICS src
 
 mv Distribution/* .
isabelle