# # Makefile for Calendar system formal specification. # MODULES = caldb.java \ schedule.java \ view.java \ admin.java \ options.java \ file.java \ edit.java MODULES_UP = ../caldb.java \ ../schedule.java \ ../view.java \ ../admin.java \ ../options.java \ ../file.java \ ../edit.java all: $(MODULES) javac $(MODULES) ; rm -rf *.class doc: $(MODULES) cd javadoc; javadoc -private