@SET_MAKE@

all:
	$(MAKE) -C src all

clean: clean-prog clean-doc

distclean: clean
	rm -f config.cache config.h config.status config.log Makefile doc/Makefile src/Makefile

install: all
	$(MAKE) -C src install-bin install-conf

doc: compile-doc

compile-doc:
	$(MAKE) -C doc all

install-doc: doc
	$(MAKE) -C doc install

clean-doc:
	$(MAKE) -C doc clean

clean-prog:
	$(MAKE) -C src clean

info:
	$(MAKE) -C doc info

html:
	$(MAKE) -C doc html

dvi:
	$(MAKE) -C doc dvi

install-info:
	$(MAKE) -C doc install-info
