include ../config

MAKE=make

all:
	cd camlp4 ; $(MAKE) $(ALL)
	cd ../src/config; $(MAKE) $(COQTOOLS)
	cd coqdep ; $(MAKE) $(COQTOOLS)
	cd gallina ; $(MAKE) $(COQTOOLS)
	cd do_Makefile ; $(MAKE) $(COQTOOLS)
	cd coq-tex ; $(MAKE) $(COQTOOLS)
	cd filters ; $(MAKE) all
	cd coqinstall ; $(MAKE) $(COQTOOLS)
	-cd emacs; $(MAKE) all

install-manpages:
	cd coqdep ; $(MAKE) install-manpage
	cd gallina ; $(MAKE) install-manpage
	cd coq-tex ; $(MAKE) install-manpage
	cd filters ; $(MAKE) install-manpage

archclean:
	cd coqdep ; $(MAKE) archclean
	cd gallina ; $(MAKE) archclean
	cd do_Makefile ; $(MAKE) archclean
	cd filters ; $(MAKE) archclean
	cd camlp4 ; $(MAKE) archclean
	cd coq-tex ; $(MAKE) archclean
	cd coqinstall ; $(MAKE) archclean
	cd dev; $(MAKE) clean

depend:
	cd coqdep ; $(MAKE) depend
	cd gallina ; $(MAKE) depend
	cd filters ; $(MAKE) depend
	cd camlp4 ; $(MAKE) depend
	cd coqinstall ; $(MAKE) depend

clean:
	cd coqdep ; $(MAKE) clean
	cd gallina ; $(MAKE) clean
	cd do_Makefile ; $(MAKE) clean
	cd filters ; $(MAKE) PROG=coq2latex clean
	cd filters ; $(MAKE) PROG=coq2html clean
	cd camlp4 ; $(MAKE) clean
	cd coqinstall ; $(MAKE) clean
	cd coq-tex ; $(MAKE) clean
	cd emacs ; $(MAKE) clean
	cd dev; $(MAKE) clean