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.
Tools/8bit: ./mk;
authorwenzelm
Wed, 05 Nov 1997 19:39:34 +0100
changeset 4176 84a0bfbd74e5
parent 4175 06774cd43054
child 4177 77f65eb64da4
Tools/8bit: ./mk;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Wed Nov 05 18:31:14 1997 +0100
+++ b/Admin/makedist	Wed Nov 05 19:39:34 1997 +0100
@@ -121,7 +121,8 @@
 
 find . -name CVS -exec rm -rf {} \;
 
-mkdir -p Tools/8bit/bin    #FIXME tmp
+( cd Tools/8bit; ./mk; )
+
 find Doc \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) -exec mv {} Distribution/doc \;
 rm Distribution/doc/Isa-logics.eps
 rm -rf Admin Doc
isabelle