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.
fixed find cmd;
authorwenzelm
Wed, 21 May 1997 17:31:12 +0200
changeset 3281 d4ddd43f418a
parent 3280 87e734c72152
child 3282 c31e6239d4c9
fixed find cmd;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Wed May 21 17:21:46 1997 +0200
+++ b/Admin/makedist	Wed May 21 17:31:12 1997 +0200
@@ -122,7 +122,7 @@
 find . -name CVS -exec rm -rf {} \;
 
 mkdir -p Tools/8bit/bin    #FIXME tmp
-find Doc -name \*.dvi -o -name \*.eps -o \*.ps -exec mv {} Distribution/doc \;
+find Doc -name \*.dvi -o -name \*.eps -o -name \*.ps -exec mv {} Distribution/doc \;
 rm -rf Admin Doc
 
 mkdir src
isabelle