Revert Makefile change

jmid · jmid · commit 52889c3ba226 · 2024-12-12T18:01:10.000+01:00
diff --git a/Makefile b/Makefile
@@ -11,7 +11,7 @@ clean:
 	@dune clean
 
 doc:
-	@dune build @doc doc/
+	@dune build @doc
 
 example-test:
 	@dune exec example/ounit/QCheck_test.exe
