# $Id: Makefile 1230 2007-06-01 04:14:58Z kate $

all:
	cd doc && $(MAKE) all
	cd src && $(MAKE) all

clean:
	cd src && $(MAKE) clean
	cd doc && $(MAKE) clean

install:
	cd src && $(MAKE) install
	cd doc && $(MAKE) install

