Index: dose3/Makefile
===================================================================
--- dose3.orig/Makefile	2015-10-16 18:38:17.046686436 +0200
+++ dose3/Makefile	2015-10-16 19:01:07.752813579 +0200
@@ -227,8 +227,8 @@
 	@git log --pretty=format:'%aN        %aE' | LC_ALL=C sort -u | awk -F'\t' '{printf("\t%s <%s>\n",$$1,$$2)}';
 
 doc: all
-	$(OCAMLBUILD) dose3.docdir/index.html dose3.docdir/index.dot
-	dot -Grotate=0 -Tsvg -o dose3.docdir/index.svg dose3.docdir/index.dot
+	#$(OCAMLBUILD) dose3.docdir/index.html dose3.docdir/index.dot
+	#dot -Grotate=0 -Tsvg -o dose3.docdir/index.svg dose3.docdir/index.dot
 	(cd doc && $(MAKE) all)
 
 man:
