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.
javac -depend;
authorwenzelm
Mon, 22 Oct 2001 17:58:11 +0200
changeset 11879 1a386a1e002c
parent 11878 f5b7c69a5a57
child 11880 a625de9ad62a
javac -depend;
lib/browser/Makefile file | annotate | diff | comparison | revisions 
--- a/lib/browser/Makefile	Mon Oct 22 17:56:16 2001 +0200
+++ b/lib/browser/Makefile	Mon Oct 22 17:58:11 2001 +0200
@@ -1,10 +1,4 @@
 # $Id$
-#
-# Makefile for GraphBrowser
 
 all:
-	javac GraphBrowser/GraphBrowser.java
-
-clean:
-	rm */*.class
-
+	javac -depend GraphBrowser/GraphBrowser.java
isabelle