all:
	(cd src; touch .depend && make depend && $(MAKE))
	(cd docs; $(MAKE))

install:
	(cd src; $(MAKE) install)
	(cd docs; $(MAKE) install)

release: 
	(cd src; $(MAKE) clean)
	(cd src; $(MAKE) Version.ml)
	(cd docs; $(MAKE))
	./tools/release.sh


Makefile: Makefile.in src/Makefile.in docs/Makefile.in config.status
	./config.status

config.status: configure
	./config.status --recheck

configure: configure.ac
	autoconf