
DESTDIR ?=
PREFIX ?= /usr
DEST = $(DESTDIR)$(PREFIX)

all: docbuild

docbuild:
	$(MAKE) -C doc

clean:
	$(RM) *~
	-$(MAKE) -C doc clean
