Mv qcheck index page to doc/qcheck

c-cube · Jan 5, 2025 · 3a13fa4 · 3a13fa4
1 parent 7377a1d
commit 3a13fa4
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/doc/qcheck/dune b/doc/qcheck/dune
@@ -0,0 +1,3 @@
+(documentation
+  (package qcheck)
+  (mld_files index))
diff --git a/src/index.mld → doc/qcheck/index.mld b/src/index.mld → doc/qcheck/index.mld
diff --git a/src/dune b/src/dune
@@ -1,12 +1,7 @@
-
 (library
   (name qcheck)
   (public_name qcheck)
   (wrapped false)
   (modules QCheck_runner)
   (synopsis "compatibility library for qcheck")
   (libraries qcheck-core qcheck-core.runner qcheck-ounit))
-
-(documentation
-  (package qcheck)
-  (mld_files index))