[BR] disable documentation and test suite build.

Author: Rodolphe Lepigre

doc/dune doc/dune.disabled

@@ -82,10 +82,10 @@
    (run tools/dune_rule_gen/gen_rules.exe Ltac2 user-contrib/Ltac2 -split %{env:COQ_DUNE_EXTRA_OPT=}))))
 
 ; Use summary.log as the target
-(alias
- (name runtest)
- (package coq)
- (deps test-suite/summary.log))
+;(alias
+; (name runtest)
+; (package coq)
+; (deps test-suite/summary.log))
 
 ; For make compat
 (alias

doc/sphinx/dune doc/sphinx/dune.disabled

@@ -148,6 +148,7 @@ development of interactive proofs."))
 
 (package
  (name coq-doc)
+ (allow_empty)
  (license "OPUBL-1.0")
  (depends
   (conf-python-3 :build)