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 doc;
authorwenzelm
Thu, 22 May 1997 16:44:47 +0200
changeset 3305 d8114e93ef66
parent 3304 08952002358d
child 3306 13d955a405f3
fixed doc;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Thu May 22 16:37:00 1997 +0200
+++ b/Admin/makedist	Thu May 22 16:44:47 1997 +0200
@@ -122,7 +122,8 @@
 find . -name CVS -exec rm -rf {} \;
 
 mkdir -p Tools/8bit/bin    #FIXME tmp
-find Doc -name \*.dvi -o -name \*.eps -o -name \*.ps -exec mv {} Distribution/doc \;
+find Doc \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) -exec mv {} Distribution/doc \;
+rm Distribution/doc/Isa-logics.eps
 rm -rf Admin Doc
 
 mkdir src
isabelle