Added an intermediate target for just the compiler that can

be used to avoid making the documentation if desired.

diff --git a/Robust/src/Makefile b/Robust/src/Makefile
index 257509eefea3cd57adf02721fd89875e5b2ba479..3aeaeddd8f4319170b6385e938a3b356682d6453 100644 (file)
--- a/Robust/src/Makefile
+++ b/Robust/src/Makefile
@@ -104,7 +104,9 @@ Analysis/Scheduling/TransTaskSimulator.class
 
 
 
-all: Parse/Sym.class Parse/Parser.class $(CLASSFILES) javadoc
+all: compiler javadoc
+
+compiler: Parse/Sym.class Parse/Parser.class $(CLASSFILES)
 
 wc:
        wc Interface/*.java Analysis/*/*.java IR/*.java IR/*/*.java Lex/*.java Util/*.java ClassLibrary/*.java