lib/browser/Makefile
author paulson
Tue, 10 Feb 2004 12:02:11 +0100
changeset 14378 69c4d5997669
parent 13971 aa5b6c8c7c4c
child 14539 90c625edaee1
permissions -rw-r--r--
generic of_nat and of_int functions, and generalization of iszero and neg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3598
28b6670e415a Makefile for GraphBrowser
berghofe
parents:
diff changeset
     1
# $Id$
28b6670e415a Makefile for GraphBrowser
berghofe
parents:
diff changeset
     2
28b6670e415a Makefile for GraphBrowser
berghofe
parents:
diff changeset
     3
all:
13971
aa5b6c8c7c4c target clean, compile Console.java
kleing
parents: 11980
diff changeset
     4
	javac GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
aa5b6c8c7c4c target clean, compile Console.java
kleing
parents: 11980
diff changeset
     5
aa5b6c8c7c4c target clean, compile Console.java
kleing
parents: 11980
diff changeset
     6
clean:
aa5b6c8c7c4c target clean, compile Console.java
kleing
parents: 11980
diff changeset
     7
	rm -f GraphBrowser/*.class
aa5b6c8c7c4c target clean, compile Console.java
kleing
parents: 11980
diff changeset
     8
	rm -f awtUtilities/*.class