# $Id: Makefile,v 1.5 2001/05/01 20:03:54 moltmans Exp $
# Makefile -- 
# Author: Michael Oltmans <moltmans@ai.mit.edu> 
# Created: <Thu Apr  5 12:58:51 2001> 
# Time-stamp: <2001-05-01 16:03:29 moltmans> 

# TODO: add clean, tags, deploy targets

default: code-all

HOME_MAKE_DIR = ${DRG_DIR}/scripts
include ${HOME_MAKE_DIR}/make.defaults

code-all:
	(cd code/src/; $(MAKE) $(MFLAGS) all);

code-world:
	(cd code/src/; $(MAKE) $(MFLAGS) world);

webdocs:
	cp doc/*.html $(DRG_WWW_DIR)
	(cd code/src;  $(MAKE) $(MFLAGS) webdocs);

doctree:
	(cd code/src;  $(MAKE) $(MFLAGS) doctree);
