COQMAKEFILE := Makefile.coq
COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
  
all:
	(cd prelude;make);
	(cd graph;make);
	(cd example;make);
	(cd ra;make);
	(cd rda;make)
	coqdoc  -g -d doc --latex --body-only prelude/*.v graph/*.v example/*.v ra/*.v rda/*.v

clean:
	rm -f prelude/*.vo prelude/*.glob prelude/*.v.d\
	      rda/*.vo rda/*.glob rda/*.v.d\
	      ra/*.vo ra/*.glob ra/*.v.d\
	      graph/*.vo graph/*.glob graph/*.v.d\
	      example/*.vo example/*.glob exampel/*.v.d\
