[docs now depends on docs/index.html.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050627134801
 Hence the documentation is built even if docs has been created but is
 empty, which can be the case when Haddock encounters a syntax error.
] hunk ./Makefile 48
-$(DOCDIR) : $(addprefix Test/,$(EXPOSED_SOURCES)) Header
+$(DOCDIR) : $(DOCDIR)/index.html
+$(DOCDIR)/index.html : $(addprefix Test/,$(EXPOSED_SOURCES)) Header